- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XVI, 185 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Saarbrücken, Univ., Diss., 2005
- Schlagwort
-
Zweiunddreißig-Bit-Mikroprozessor
RISC
Cache-Speicher
Schnittstelle
Hardwareverifikation
Formale Methode
Zweiunddreiig-Bit-Mikroprozessor ; Cache-Speicher ; RISC ; Hardwareverifikation ; Formale Methode
- Urheber
-
Beyer, Sven
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:49 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
- Beyer, Sven
Ähnliche Objekte (12)
Putting it all together : formal verification of the VAMP
Putting the Dragon together ... again.
Putting Together the Pieces of the Universe
Updating Embedded Systems - Putting it all Together
Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
Vivat Vamp!
After the Berlin Wall : putting two Germanys back together again
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Putting it all together : formal verification of the VAMP
Putting the Dragon together ... again.
Putting Together the Pieces of the Universe
Updating Embedded Systems - Putting it all Together
Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
Vivat Vamp!
After the Berlin Wall : putting two Germanys back together again
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Putting it all together : formal verification of the VAMP
Putting the Dragon together ... again.
Putting Together the Pieces of the Universe
Updating Embedded Systems - Putting it all Together
Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
Vivat Vamp!
After the Berlin Wall : putting two Germanys back together again
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors