1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AR2026
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…
quant-ph2024★ 1 cited
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…