[  news | paper | experiments ]

AMulet

This page provides access to evaluate the experiments described in our paper at FMCAD 2019.

News

AMulet is now available at GitHub.

Paper

Daniela Kaufmann, Armin Biere, Manuel Kauers.
Verifying Large Multipliers by Combining SAT and Computer Algebra.
In Proc. 19th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'19), pages 28-36, IEEE 2019.
[ paper | bibtex ]

Experiments

[ KaufmannBiereKauers-FMCAD-19-src.tar.xz ] source code (541 KB)
[ KaufmannBiereKauers-FMCAD-19-data.tar.xz ] data (141 KB)
[ KaufmannBiereKauers-FMCAD-19-benchmarks.tar.xz ] benchmarks (25.7 MB)