Hochschulschrift
A hardware verification methodology for an interconnection network with fast process synchronization
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XXII, 160 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Mannheim, Univ., Diss., 2013
- Schlagwort
-
Hardwareentwurf ; Verbindungsnetzwerk ; Kommunikationsprotokoll ; Verifikation
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:18 MESZ
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
Beteiligte
Ähnliche Objekte (12)
A Hardware Verification Methodology for an Interconnection Network with fast Process Synchronization
Improved 3-Line Hardware Synchronization
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Introduction to formal hardware verification : with 32 tables
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
A Hardware Verification Methodology for an Interconnection Network with fast Process Synchronization
Improved 3-Line Hardware Synchronization
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Introduction to formal hardware verification : with 32 tables
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
A Hardware Verification Methodology for an Interconnection Network with fast Process Synchronization
Improved 3-Line Hardware Synchronization
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Introduction to formal hardware verification : with 32 tables
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers