2 works on record
Formal Verification of Structurally Complex Multipliers
Polynomial Formal Verification of Arithmetic Circuits