AMulet 2.0 for Verifying Multiplier Circuits

AMulet 2.0 is a fully automatic tool for the verification of integer multipliers using computer algebra. Our tool models multiplier circuits given as and-inverter graphs as a set of polynomials and applies preprocessing techniques based on elimination theory of Gröbner bases. Finally it uses a polyn...

Descripción completa

Detalles Bibliográficos
Autores principales: Kaufmann, Daniela, Biere, Armin
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984577/
http://dx.doi.org/10.1007/978-3-030-72013-1_19
_version_ 1783668095283363840
author Kaufmann, Daniela
Biere, Armin
author_facet Kaufmann, Daniela
Biere, Armin
author_sort Kaufmann, Daniela
collection PubMed
description AMulet 2.0 is a fully automatic tool for the verification of integer multipliers using computer algebra. Our tool models multiplier circuits given as and-inverter graphs as a set of polynomials and applies preprocessing techniques based on elimination theory of Gröbner bases. Finally it uses a polynomial reduction algorithm to verify the correctness of the given circuit. AMulet 2.0 is a re-factorization and improved re-implementation of our previous multiplier verification tool AMulet 1.0.
format Online
Article
Text
id pubmed-7984577
institution National Center for Biotechnology Information
language English
publishDate 2021
record_format MEDLINE/PubMed
spelling pubmed-79845772021-03-23 AMulet 2.0 for Verifying Multiplier Circuits Kaufmann, Daniela Biere, Armin Tools and Algorithms for the Construction and Analysis of Systems Article AMulet 2.0 is a fully automatic tool for the verification of integer multipliers using computer algebra. Our tool models multiplier circuits given as and-inverter graphs as a set of polynomials and applies preprocessing techniques based on elimination theory of Gröbner bases. Finally it uses a polynomial reduction algorithm to verify the correctness of the given circuit. AMulet 2.0 is a re-factorization and improved re-implementation of our previous multiplier verification tool AMulet 1.0. 2021-02-26 /pmc/articles/PMC7984577/ http://dx.doi.org/10.1007/978-3-030-72013-1_19 Text en © The Author(s) 2021 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Kaufmann, Daniela
Biere, Armin
AMulet 2.0 for Verifying Multiplier Circuits
title AMulet 2.0 for Verifying Multiplier Circuits
title_full AMulet 2.0 for Verifying Multiplier Circuits
title_fullStr AMulet 2.0 for Verifying Multiplier Circuits
title_full_unstemmed AMulet 2.0 for Verifying Multiplier Circuits
title_short AMulet 2.0 for Verifying Multiplier Circuits
title_sort amulet 2.0 for verifying multiplier circuits
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984577/
http://dx.doi.org/10.1007/978-3-030-72013-1_19
work_keys_str_mv AT kaufmanndaniela amulet20forverifyingmultipliercircuits
AT bierearmin amulet20forverifyingmultipliercircuits

Ejemplares similares