4 citations · 5 across the 3 of their papers we have counts for
3 papers
TRACE: Traversal and Reasoning Algebraic Computing Engine for Formal Hardware Verification
Jan Kleinekathöfer, Lennart Weingarten, Kamalika Datta +1
Modern hardware verification of complex circuits relies heavily on the efficiency of formal methods. For complex arithmetic circuits in particular Symbolic Computer Algebra (SCA) e…
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
Abhoy Kole, Mohammed E. Djeridane, Lennart Weingarten +2
The use of Boolean Satisfiability (SAT) solver for hardware verification incurs exponential run-time in several instances. In this work we have proposed an efficient quantum SAT (q…
Exact Synthesis of Reversible Logic Circuits using Model Checking
Rajarshi Ray, Arup Deka, Kamalika Datta
Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in g…