activity
20172026
most citedExact Synthesis of Reversible Logic Circuits using Model Checking

4 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

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…