Daniela Kaufmann, Armin Biere,
"AMulet 2.0 for Verifying Multiplier Circuits"
, in Groote, Jan Friso and Larsen, Kim Guldstrand: International Conference on Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2021., in Tools and Algorithms for the Construction and Analysis of Systems, Serie Lecture Notes in Computer Science, Vol. 12652, Springer, Seite(n) 357, 2021
Original Titel:
AMulet 2.0 for Verifying Multiplier Circuits
Sprache des Titels:
Englisch
Original Buchtitel:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2021.
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Journal:
Tools and Algorithms for the Construction and Analysis of Systems
Forschungs-