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.

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.
[ paper | bibtex | experiments | pictures ]

Experiments

[ RitircBiereKauers-FMCAD17-data.tar.xz ]

Beside those benchmarks used in our experiments we also include the AIGs we derived for other multipliers in related work discussed in the paper.

Pictures

FMCAD'17 Best Paper All Authors FMCAD'17 Best Paper Award Certificate FMCAD'17 Best Paper Award Ceremony