HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Dr. Chandan Kumar Jha


Mein Forschungsgebiet umfasst im Großen und Ganzen den Entwurf, die Automatisierung und die Verifizierung von VLSI-Systemen. Ich arbeite an der Entwicklung effizienter CAD-Methoden für neue Technologien. Dazu gehören automatisierte Methoden für die Synthese, die formale Überprüfung und die Entwicklung von Benchmark-Schaltungen für neue Technologien. Derzeit beschäftige ich mich mit memristorbasierten Schaltungen und approximativem Rechnen.

WiMi

+49 421 218-59837

MZH 4204

chajha@uni-bremen.de

veriSIMPLER : An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
Autor: Chandan Kumar Jha, Khushboo Qayyum, Kemal Çaglar Coskun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler
Zeitschrift: IEEE Transactions on Circuits and Systems I: Regular Papers
Details: DOI: 10.1109/TCSI.2024.3424682 (2024)

cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits
Autor: Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler
Zeitschrift: IEEE Transactions on Circuits and Systems I: Regular Papers
Details: DOI: 10.1109/TCSI.2024.3388256 (2024)

Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style
Autor: Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Phrangboklang Lyngton Thangkhiew, Vikas Rana, Sachin Patkar, Rolf Drechsler, Farhad Merchant
Zeitschrift: IEEE Embedded Systems Letters (ESL)
Details: DOI: 10.1109/LES.2023.3298740 (2023)

MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors
Autor: Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
Zeitschrift: IEEE Transactions on Circuits and Systems II: Express Briefs
Details: DOI: 10.1109/TCSII.2023.3242976, Volume: 70 Issue: 7 (2023)

IMAGIN: Library of IMPLY and MAGIC NOR Based Approximate Adders for In-Memory Computing
Autor: Chandan Kumar Jha, Phrangboklang Lyngton Thangkhiew, Kamalika Datta, Rolf Drechsler
Zeitschrift: IEEE Journal on Exploratory Solid-State Computational Devices and Circuits
Details: DOI: 10.1109/JXCDC.2022.3222015, Volume: 8 Issue: 2 (2022)

In-Memory Mirroring: Cloning Without Reading
Autor: Simranjeet Singh, Ankit Bende, Chandan Kumar Jha, Vikas Rana, Rolf Drechsler, Sachin Patkar, Farhad Merchant
Konferenz: IFIP/IEEE International Conference on Very Large-Scale Integration (VLSI-SoC)
Pdf | Referenz: Tanger, Morocco, 2024

From Bugs to Fixes: HDL Bug Identification and Patching using LLMs and RAG
Autor: Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler
Konferenz: LLM-Aided Design, 2024 (LAD)
Pdf | Referenz: San Jose, CA, USA, 2024

Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification
Autor: Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler
Konferenz: Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2024

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth
Autor: Mohamed Nadeem, Chandan Kumar Jha, Rolf Drechsler
Konferenz: IEEE European Test Symposium (ETS)
Pdf | Referenz: The Hague, Netherlands, 2024

Hidden Cost of Circuit Design with RFETs
Autor: Sajjad Parvin, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
Konferenz: Design, Automation and Test in Europe Conference (DATE)
Pdf | Referenz: Valencia, Spain, 2024

LLM-guided Formal Verification Coupled with Mutation Testing
Autor: Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
Konferenz: Design, Automation and Test in Europe Conference (DATE)
Pdf | Referenz: Valencia, Spain, 2024

Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array
Autor: Ankit Bende, Simranjeet Singh, Chandan Kumar Jha, Tim Kempen, Felix Cüppers, Christopher Bengel, Andre Zambanini, Dennis Nielinger, Sachin Patkar, Rolf Drechsler, Rainer Waser, Farhad Merchant, Vikas Rana
Konferenz: International Conference on VLSI Design (VLSID)
Pdf | Referenz: Kolkata, India, 2024

Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic
Autor: Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
Konferenz: International Conference on VLSI Design (VLSID)
Pdf | Referenz: Kolkata, India, 2024

MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory
Autor: Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Vikas Rana, Sachin Patkar, Rolf Drechsler, Farhad Merchant
Konferenz: Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz: Incheon Songdo Convensia, South Korea, 2024

Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style
Autor: Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Phrangboklang Lyngton Thangkhiew, Vikas Rana, Sachin Patkar, Rolf Drechsler, Farhad Merchant
Konferenz: International Conference on Hardware/Software Codesign and System Synthesis | Embedded System Week (CODES+ISSS)
Pdf | Referenz: Hamburg, Germany, 2023

Hidden in Plain Sight: A Detailed Investigation of Selectively Increasing Local Density to Camouflage and Robustify Against Optical Probing Attacks
Autor: Sajjad Parvin, Chandan Kumar Jha, Sallar Ahmadi-Pour, Frank Sill Torres, and Rolf Drechsler
Konferenz: IEEE International Test Conference India (ITC India)
Pdf | Referenz: Bengaluru, India, 2023

Lo-RISK: Design of a Low Optical Leakage and High Performance RISC-V Core
Autor: Sajjad Parvin, Sallar Ahmadi-Pour, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
Konferenz: IEEE INTERNATIONAL CONFERENCE ON OMNI-LAYER INTELLIGENT SYSTEMS (IEEE COINS)
Pdf | Referenz: Berlin, Germany, 2023

Finite State Automata Design using 1T1R ReRAM Crossbar
Autor: Simranjeet Singh, Omar Ghazal, Chandan Kumar Jha, Vikas Rana, Rolf Drechsler, Rishad Shafik, Alex Yakovlev, Sachin Patkar, Farhad Merchant
Konferenz: IEEE Interregional NEWCAS Conference (NEWCAS)
Pdf | Referenz: Edinburgh, Scotland, 2023

Benchmarking Multiplier Architectures for MAGIC Based In-Memory Computing
Autor: Chandan Kumar Jha, Rolf Drechsler
Konferenz: IEEE Interregional NEWCAS Conference (NEWCAS)
Pdf | Referenz: Edinburgh, Scotland, 2023

Analysis of Quantization Across DNN Accelerator Architecture Paradigms
Autor: Tom Glint, Chandan Kumar Jha, Manu Awasthi and Joycee Mekie
Konferenz: Design, Automation and Test in Europe Conference (DATE)
Pdf | Referenz: Antwerp, Belgium, 2023

Investigating Various Adder Architectures for Digital In-Memory Computing Using MAGIC-based Memristor Design Style
Autor: Chandan Kumar Jha, Alireza Mahzoon, Rolf Drechsler
Konferenz: International Conference on Emerging Electronics (ICEE)
Pdf | Referenz: Bangalore, India, 2022

Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders
Autor: Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
Workshop: 16th International Workshop on Boolean Problems (IWSBP)
Referenz: Bremen, Germany, 2024

LLM-Assisted High Quality Invariants Generation for Formal Verification
Autor: Khushboo Qayyum, Sallar Ahmadi-Pour, Muhammad Hassan, Chandan Kumar Jha, Rolf Drechsler
Workshop: University Fair at Design, Automation and Test in Europe (DATE)
Referenz: Valencia, Spain, 2024

Automated Formal Verification Methodology for MAGIC Design Style Based In-Memory Computing
Autor: Chandan Kumar Jha, Khushboo Qayyum, Kemal Çağlar Coşkun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler
Workshop: International Workshop on Logic & Synthesis (IWLS)
Referenz: EPFL, Lausanne, Switzerland, 2023

OPTI-RISK: Design of an Optical Probing Attack Hardened RISC-V Core with an Industrially Compatible CMOS Gate Library
Autor: Sajjad Parvin, Sallar Ahmadi-Pour, Chandan Kumar Jha, Frank Sill Torres, and Rolf Drechsler
Workshop: 5th RISC-V Activity Workshop
Referenz: Berlin, Germany, 2022

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz