[ experiments ]
Improving and Extending the Algebraic Approach for Verifying Gate-Level Multipliers
This site provides access to an extended set of experimental data, source code, benchmarks and scripts used in our DATE'18 paper.
Daniela Ritirc, Armin Biere, Manuel Kauers. Improving
and Extending the Algebraic Approach for Verifying Gate-Level
Multiplies. To appear in Design, Automation and Test in
Europe (DATE'18), IEEE 2018.
[ RitircBiereKauers-DATE18-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.