activity
20242026
most citedExploration of Design Alternatives for Reducing Idle Time in Shor's Algorithm: A Study on Monolithic and Distributed Quantum Systems

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.ARShow 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…