Thông tin tài liệu
Nhan đề : |
Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra |
Tác giả : |
Daniela, Kaufmann Armin, Biere |
Năm xuất bản : |
2023 |
Nhà xuất bản : |
Springer |
Tóm tắt : |
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. |
Mô tả: |
CC BY |
URI: |
https://link.springer.com/article/10.1007/s10009-022-00688-6 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7364 |
Bộ sưu tập |
OER - Công nghệ thông tin |
XEM MÔ TẢ
11
XEM TOÀN VĂN
28
Danh sách tệp tin đính kèm: