SCA Verification

This website provides formal verification solutions based on Symbolic Computer Algebra (SCA) for complex arithmetic circuits, such as multipliers.

Papers

Multiplier Verification

Divider Verification

Equivalence Checking


Multiplier Generator GenMul

For GenMul, our multiplier generator, which outputs multiplier circuits in Verilog, please visit: sca-verifcation.org/genmul.


SCA Verification Tools and Benchmarks

PolyCleaner

RevSCA

RevSCA-2.0