- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XVI, 185 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Saarbrücken, Univ., Diss., 2005
- Keyword
-
Zweiunddreißig-Bit-Mikroprozessor
RISC
Cache-Speicher
Schnittstelle
Hardwareverifikation
Formale Methode
Zweiunddreiig-Bit-Mikroprozessor ; Cache-Speicher ; RISC ; Hardwareverifikation ; Formale Methode
- Creator
-
Beyer, Sven
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:49 AM 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
Associated
- Beyer, Sven
Other Objects (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