My research area broadly encompasses VLSI systems' design, automation, and verification. I work on designing efficient CAD methodologies for emerging technologies. This includes automated methodologies for synthesis, formal verification, and developing benchmark circuits for emerging technologies. I am currently exploring memristor-based circuits and approximate computing.
Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity
LLM-assisted Bug Identification and Correction for Verilog HDL
veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory
LLM-assisted Bug Identification and Correction for Verilog HDL
FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits
Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth
Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits
EnR: Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders
Lower the RISC: Designing optical-probing-attack-resistant cores
veriSIMPLER : An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits
Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style
MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors
IMAGIN: Library of IMPLY and MAGIC NOR Based Approximate Adders for In-Memory Computing