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.

[ 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.