Hochschulschrift | Online-Publikation
Speeding up hardware verification by automated data path scaling
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Univ., Diss., 2002
- Klassifikation
-
Informatik
- Schlagwort
-
Hardwareverifikation
Bounded Model Checking
Bitvektor
- Urheber
-
Johannsen, Peer
- URN
-
urn:nbn:de:gbv:8-diss-6698
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 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.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
- Johannsen, Peer
Ähnliche Objekte (12)
Speeding up hardware verification by automated data path scaling
Formal verification and automated masking of cryptographic hardware
Current trends in hardware verification and automated theorem proving
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
Automated Verification of Parallel Nested DFS
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Highly Automated Formal Verification of Arithmetic Circuits
Introduction to formal hardware verification : with 32 tables
Speeding up hardware verification by automated data path scaling
Formal verification and automated masking of cryptographic hardware
Current trends in hardware verification and automated theorem proving
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
Automated Verification of Parallel Nested DFS
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Highly Automated Formal Verification of Arithmetic Circuits
Introduction to formal hardware verification : with 32 tables
Speeding up hardware verification by automated data path scaling
Formal verification and automated masking of cryptographic hardware
Current trends in hardware verification and automated theorem proving
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
Automated Verification of Parallel Nested DFS
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Highly Automated Formal Verification of Arithmetic Circuits