Multiplier Verification Using Computer Algebra
This site provides access to an extended set of experimental data, source code, benchmarks and scripts used in our FMCAD'17 paper.
Daniela Ritirc, Armin Biere, Manuel Kauers. Column-Wise
Verification of Multipliers Using Computer Algebra. In
Proc. 17th Intl. Conf. on Formal Methods in
Computer Aided Design (FMCAD'17), to appear.
Beside those benchmarks used in our experiments we also include the AIGs we derived for other multipliers in related work discussed in the paper.