Arisca: A Parameterized Symbolic Algebra Framework for Arithmetic Circuit Verification

Kezhi Li, Min Li, Qiang Xu

Formal verification of highly optimized arithmetic circuits at the gate-level remains a significant challenge due to the state space explosion problem. Although Symbolic Computer A…