ACV: an arithmetic circuit verifier.

Yirng-An Chen, Randal E. Bryant

Browse the full ICCAD paper archive.