Hochschulschrift
A Hardware Verification Methodology for an Interconnection Network with fast Process Synchronization
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Mannheim, Universität Mannheim, Diss., 2013
- Schlagwort
-
Hardwareentwurf ; Verbindungsnetzwerk ; Kommunikationsprotokoll ; Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Universitätsbibliothek Mannheim
- (wann)
-
2012
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:180-madoc-331107
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
Beteiligte
- Burkhardt, Niels
- Brüning, Ulrich
- Universitätsbibliothek Mannheim
Entstanden
- 2012
Ä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