Cover Image

Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra

CC BY

Saved in:
Bibliographic Details
Main Authors: Daniela, Kaufmann, Armin, Biere
Format: Book
Language:English
Published: Springer 2023
Subjects:
AMULET2
SAT
Online Access:https://link.springer.com/article/10.1007/s10009-022-00688-6
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7364
Tags: Add Tag
No Tags, Be the first to tag this record!
id oai:localhost:PNK-7364
record_format dspace
spelling oai:localhost:PNK-73642023-03-31T02:24:57Z Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra Daniela, Kaufmann Armin, Biere AMULET2 SAT CC BY Verifying arithmetic circuits and most prominently multiplier circuits is an important problem which in practice is still considered to be challenging. One of the currently most successful verification techniques relies on algebraic reasoning. In this article, we present AMULET2, a fully automatic tool for verification of integer multipliers combining SAT solving and computer algebra. Our tool models multipliers given as and-inverter graphs as a set of polynomials and applies preprocessing techniques based on elimination theory of Gröbner bases. 2023-03-31T02:24:57Z 2023-03-31T02:24:57Z 2023 Book https://link.springer.com/article/10.1007/s10009-022-00688-6 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7364 en application/pdf Springer
institution Digital Phenikaa
collection Digital Phenikaa
language English
topic AMULET2
SAT
spellingShingle AMULET2
SAT
Daniela, Kaufmann
Armin, Biere
Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
description CC BY
format Book
author Daniela, Kaufmann
Armin, Biere
author_facet Daniela, Kaufmann
Armin, Biere
author_sort Daniela, Kaufmann
title Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
title_short Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
title_full Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
title_fullStr Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
title_full_unstemmed Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
title_sort improving amulet2 for verifying multiplier circuits using sat solving and computer algebra
publisher Springer
publishDate 2023
url https://link.springer.com/article/10.1007/s10009-022-00688-6
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7364
_version_ 1761912524504039424
score 8.881002

Similar Items