Kamalika Datta

TRACE: Traversal and Reasoning Algebraic Computing Engine for Formal Hardware Verification

Modern hardware verification of complex circuits relies heavily on the efficiency of formal methods. For complex arithmetic circuits in particular Symbolic Computer Algebra (SCA) engines which represent pseudo-boolean functions using polynomials are crucial. As circuit complexity grows in the age of AI, verification of...

A Conflict-Aware Learning Approach to SCA Verification for MAC Architectures

Multi-Scheduling Crossbar Mapping and Design-Space Exploration of MAGIC-Based ReRAM Arithmetic Circuits for In-Memory Computing

The proposed mapping framework achieves reduced latency and improved area–latency trade-offs compared to prior MAGIC designs, and comparative evaluation shows competitive performance for adders and substantially lower latency with improved scalability for multiplier architectures compared with representative MAC-, MAJ-...

Variational Manifold Engineering in Quantum Chemistry: Structural Challenges in Ansatz Design

This work presents a comparative structural analysis of major ansatz paradigms from the perspective of constrained variational manifold engineering and examines how each construction strategy encodes physical symmetries, balances expressibility and trainability, scales in parameter and measurement complexity, and respo...