Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
CC BY
Lưu vào:
| Tác giả chính: | , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Nhà xuất bản: |
Springer
2023
|
| Chủ đề: | |
| Truy cập trực tuyến: | https://link.springer.com/article/10.1007/s10009-022-00688-6 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7364 |
| Từ khóa: |
Thêm từ khóa
Không có từ khóa, Hãy là người đầu tiên đánh dấu biểu ghi này!
|
| 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.891145 |