Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Arithmetic circuit verification"'
Automated reasoning techniques based on computer algebra have seen renewed interest in recent years and are for example heavily used in formal verification of arithmetic circuits. However, the verification process might contain errors. Generating and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3361::3e89a3c297f3c069ad5134335e1ddb2f
https://epub.jku.at/doi/10.1007/s10703-022-00391-x
https://epub.jku.at/doi/10.1007/s10703-022-00391-x
Publikováno v:
Formal Methods in System Design
Verifying arithmetic circuits and most prominently multiplier circuits is an important problem which in practice still requires substantial manual effort. The currently most effective approach uses polynomial reasoning over pseudo boolean polynomials
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::f309c7e3fe18f24d3f3f03ca0ef3b10d
https://pubmed.ncbi.nlm.nih.gov/33281299
https://pubmed.ncbi.nlm.nih.gov/33281299
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Verifying arithmetic circuits and most prominently multiplier circuits is an important problem which in practice still requires substantial manual effort. The currently most effective approach uses polynomial reasoning over pseudo boolean polynomials
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3361::43cc548d6547c16f61e001a68e6402cc
https://epub.jku.at/doi/10.1007/s10703-018-00329-2
https://epub.jku.at/doi/10.1007/s10703-018-00329-2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kaufmann D; Institute for Formal Models and Verification, Johannes Kepler University, Linz, Austria., Fleury M; Institute for Formal Models and Verification, Johannes Kepler University, Linz, Austria., Biere A; Chair of Computer Architecture, Albert-Ludwigs-University, Freiburg, Germany., Kauers M; Institute for Algebra, Johannes Kepler University, Linz, Austria.
Publikováno v:
Formal methods in system design [Form Methods Syst Des] 2024; Vol. 64 (1-3), pp. 73-107. Date of Electronic Publication: 2022 Apr 11.