collaborators

1 paper

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…