Chandan Kumar Jha - Publications, H-index & Citations

Chandan Kumar Jha

university of bremen

10H指数

63论文数

329被引数

收录论文 12

发表时间

veriSiM: Formal Verification of SPICE Netlists for MAGIC-Based Logic-in-Memory veriSiM：基于MAGIC的存内逻辑SPICE网表的正式验证

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

IF2.9

2026-02-01

PREAI

Jha, Chandan Kumar; Singh, Simranjeet; Qayyum, Khushboo; Bende, Ankit; Hassan, Muhammad; Rana, Vikas; Merchant, Farhad; Drechsler, Rolf

Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity 高级与反相器图分解技术以降低电路复杂度

ACM Transactions on Design Automation of Electronic Systems

IF2

2026-01-01

PREAI

Nadeem, Mohamed; Muller, Luca; Jha, Chandan Kumar; Drechsler, Rolf

LLM-assisted Bug Identification and Correction for Verilog HDL LLM辅助的Verilog HDL错误识别和纠正

ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS

IF2

2025-11-01

PREAI

Qayyum, Khushboo; Jha, Chandan Kumar; Ahmadi-Pour, Sallar; Hassan, Muhammad; Drechsler, Rolf

Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth 恒定切割宽度内多值近似电路的多项式形式验证

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS

IF5.2

2025-03-01

PREAI

Nadeem, Mohamed; Jha, Chandan Kumar; Drechsler, Rolf

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS

IF5.2

2024-09-01

PREAI

Jha, Chandan Kumar; Qayyum, Khushboo; Coskun, Kemal Caglar; Singh, Simranjeet; Hassan, Muhammad; Leupers, Rainer; Merchant, Farhad; Drechsler, Rolf

cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS

IF5.2

2024-07-01

PREAI

Jha, Chandan Kumar; Hassan, Muhammad; Drechsler, Rolf

Correct and Verify-CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders With Correct Carry Bits

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS

IF5.2

2024-01-01

PREAI

Jha, Chandan Kumar; Qayyum, Khushboo; Hassan, Muhammad; Drechsler, Rolf

MARADIV: Library of MAGIC-Based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors MARADIV: 基于魔术的近似恢复阵列分频器基准电路库，用于使用忆阻器进行内存计算

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS

IF4.9

2023-07-01

PREAI

Jha, Chandan Kumar; Ahmadi-Pour, Sallar; Drechsler, Rolf

Ultrasound-Enabled Therapeutic Delivery and Regenerative Medicine: Physical and Biological Perspectives

ACS BIOMATERIALS SCIENCE & ENGINEERING

IF5.5

2021-08-30

PREAI

Bansal, Kahkashan; Jha, Chandan Kumar; Bhatia, Dhiraj; Shekhar, Himanshu

Zero Aware Configurable Data Encoding by Skipping Transfer for Error Resilient Applications

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS

IF5.2

2021-08-01

PREAI

Jha, Chandan Kumar; Singh, Shreyas; Thakker, Riddhi; Awasthi, Manu; Mekie, Joycee

Analysis of Worst-Case Data Dependent Temporal Approximation in Floating Point Units

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS

IF4.9

2021-02-01

PREAI

Jha, Chandan Kumar; Doshi, Ishita; Mekie, Joycee

Energy and Error Analysis Framework for Approximate Computing in Mobile Applications 移动应用中近似计算的能量和误差分析框架

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS

IF4.9

2020-02-01

PREAI

Jha, Chandan Kumar; Ved, Sneha N.; Anand, Ishant; Mekie, Joycee

研究方向