Skip to content

Chandan Kumar Jha

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

26

Venues

11

Active years

2016–2026

Best venue rank

A*

Where they publish

Papers

26 indexed papers, newest first.

YearVenueTitleAuthors
2026DATELate Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers.Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler
2026DDECSApproximated MAGIC-ReRAM Adder Circuits for Low-Latency In-Memory Computing.Saeideh Nabipour, Chandan Kumar Jha, Saeideh Shirinzadeh, Rolf Drechsler
2026VLSIDDIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization.Chandan Kumar Jha, Sallar Ahmadi-Pour, Sajjad Parvin, Rolf Drechsler
2026VLSIDPolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing.Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler
2025DATEPolynomial Formal Verification of Sequential Circuits Using Weighted-AIGs.Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler
2025DDECSRiver: Sneak Path Aware READ-based In-Memory Computing for 1T1M Memristive Crossbars.Till Schnittka, Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
2025ETSLarge Language Models (LLMs) for Verification, Testing, and Design.Chandan Kumar Jha, Muhammad Hassan, Khushboo Qayyum, Sallar Ahmadi-Pour, Kangwei Xu, Ruidi Qiu, Jason Blocklove, Luca Collini, Andre Nakkab, Ulf Schlichtmann, Grace Li Zhang, Ramesh Karri, Bing Li, Siddharth Garg, Rolf Drechsler
2025FDLSystem-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit.Deepak Ravibabu, Sallar Ahmadi-Pour, Muhammad Hassan, Abhoy Kole, Chandan Kumar Jha, Rolf Drechsler
2025VLSIDFARAD: Automated Formal Verification of Approximate Restoring Array Dividers.Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
2025VLSIDTrue-PolyTronik: Securing Circuits Against Laser Logic State Imaging Attack Using RFET.Sajjad Parvin, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
2024ASPDACMemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory.Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Vikas Rana, Sachin B. Patkar, Rolf Drechsler, Farhad Merchant
2024DACLate Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification.Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler
2024DATELLM-Guided Formal Verification Coupled with Mutation Testing.Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
2024DATEHidden Cost of Circuit Design with RFETs.Sajjad Parvin, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
2024ETSPolynomial Formal Verification of Approximate Adders with Constant Cutwidth.Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler
2024VLSIDExperimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array.Ankit Bende, Simranjeet Singh, Chandan Kumar Jha, Tim Kempen, Felix Cppers, Christopher Bengel, Andre Zambanini, Dennis Nielinger, Sachin B. Patkar, Rolf Drechsler, Rainer Waser, Farhad Merchant, Vikas Rana
2024VLSIDInput Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic.Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
2023DATEAnalysis of Quantization Across DNN Accelerator Architecture Paradigms.Tom Glint, Chandan Kumar Jha, Manu Awasthi, Joycee Mekie
2023ISPASSAnalysis of Conventional, Near-Memory, and In-Memory DNN Accelerators.Tom Glint, Chandan Kumar Jha, Manu Awasthi, Joycee Mekie
2022DATEData-Aware Cache Management for Graph Analytics.Neelam Sharma, Varun Venkitaraman, Newton, Vikash Kumar, Shubham Singhania, Chandan Kumar Jha
2021ISCASFPCAM: Floating Point Configurable Approximate Multiplier for Error Resilient Applications.Chandan Kumar Jha, Sumit Walia, Gagan Kanojia, Joycee Mekie
2020ISCASFPAD: A Multistage Approximation Methodology for Designing Floating Point Approximate Dividers.Chandan Kumar Jha, Kailash Prasad, Vibhor Kumar Srivastava, Joycee Mekie
2020ISCASSEDAAF: FPGA Based Single Exact Dual Approximate Adders for Approximate Processors.Chandan Kumar Jha, Kailash Prasad, Arun Singh Tomar, Joycee Mekie
2019DACSEDA - Single Exact Dual Approximate Adders for Approximate Processors.Chandan Kumar Jha, Joycee Mekie
2019DSDDesign of Novel CMOS Based Inexact Subtractors and Dividers for Approximate Computing: An In-Depth Comparison with PTL Based Designs.Chandan Kumar Jha, Joycee Mekie
2016COMSNETSEfficient ECG data compression and transmission algorithm for telemedicine.Chandan Kumar Jha, Maheshkumar H. Kolekar