@inproceedings{7598404fd40842d8af6e874ad2d7c844,
title = "AMulet 2.0 for Verifying Multiplier Circuits",
abstract = "AMulet 2.0 is a fully automatic tool for the verification ofinteger multipliers using computer algebra. Our tool models multipliercircuits given as and-inverter graphs as a set of polynomials and appliespreprocessing techniques based on elimination theory of Gr{\" }obner bases.Finally it uses a polynomial reduction algorithm to verify the correctnessof the given circuit.AMulet 2.0is a reactorization and improved re-implementation of our previous multiplier verification toolAMulet 1.0.",
author = "Daniela Kaufmann and Armin Biere",
year = "2021",
doi = "10.1007/978-3-030-72013-1\_19",
language = "English",
isbn = "9783030720124",
volume = "12652",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "357--364",
editor = "Groote, \{Jan Friso\} and Larsen, \{Kim Guldstrand\}",
booktitle = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2021.",
}