Hochschulschrift | Online-Publikation
Speeding up hardware verification by automated data path scaling
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kiel, Univ., Diss., 2002
- Classification
-
Informatik
- Keyword
-
Hardwareverifikation
Bounded Model Checking
Bitvektor
- Creator
-
Johannsen, Peer
- URN
-
urn:nbn:de:gbv:8-diss-6698
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
- Johannsen, Peer
Other Objects (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