AMULET 2.0 for verifying multiplier circuits
Abstract: 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
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
ISBN: 978-3-030-72013-1
ISSN: 1611-3349
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2023
- Urheber
- DOI
-
10.1007/978-3-030-72013-1_19
- URN
-
urn:nbn:de:bsz:25-freidok-2393742
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kaufmann, Daniela
- Biere, Armin
- Universität
Entstanden
- 2023
Ähnliche Objekte (12)
AMulet 2.0 for Verifying Multiplier Circuits
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Contributions to the design of multiplier and RF mixer circuits
Dynamical systems, attractors, and neural circuits
Verifying OPAL, Pt. 1.. Verifying in the small
Integrated circuits and concepts for low power MEMS devices
Verifying binding constraints for anaphor resolution
Verifying high quality: Entry for sale
Thalamo-cortical circuits for the processing of tactile information : thalamic inputs onto excitatory neurons in layer IV of the mouse barrel cortex
Multiplier Analysis
CMOS circuits for electromagnetic vibration energy harvesters : : system modeling, interface design and implementation
Using Timed Model Checking for Verifying Workflows
AMulet 2.0 for Verifying Multiplier Circuits
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Contributions to the design of multiplier and RF mixer circuits
Dynamical systems, attractors, and neural circuits
Verifying OPAL, Pt. 1.. Verifying in the small
Integrated circuits and concepts for low power MEMS devices
Verifying binding constraints for anaphor resolution
Verifying high quality: Entry for sale
Thalamo-cortical circuits for the processing of tactile information : thalamic inputs onto excitatory neurons in layer IV of the mouse barrel cortex
Multiplier Analysis
CMOS circuits for electromagnetic vibration energy harvesters : : system modeling, interface design and implementation
Using Timed Model Checking for Verifying Workflows
AMulet 2.0 for Verifying Multiplier Circuits
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Contributions to the design of multiplier and RF mixer circuits
Dynamical systems, attractors, and neural circuits
Verifying OPAL, Pt. 1.. Verifying in the small
Integrated circuits and concepts for low power MEMS devices
Verifying binding constraints for anaphor resolution
Verifying high quality: Entry for sale
Thalamo-cortical circuits for the processing of tactile information : thalamic inputs onto excitatory neurons in layer IV of the mouse barrel cortex
Multiplier Analysis
CMOS circuits for electromagnetic vibration energy harvesters : : system modeling, interface design and implementation