Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
- Standort
-
München, Bibliothek der Technischen Universität -- 0102/DAT 001z 2001 A 999-2860#S.51-65
- Umfang
-
1 Online-Ressource (S. [51] - 65)
- Sprache
-
Englisch
- Anmerkungen
-
Ill.
In: Correct hardware design and verification methods. - Berlin [u.a.] : Springer, 2003
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin [u.a.]
- (wer)
-
Springer
- (wann)
-
2003
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bvb:12-bsb00059533-0
- Letzte Aktualisierung
-
16.04.2025, 08:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Beyer, Sven
- Paul, Wolfgang J.
- Springer
Entstanden
- 2003
Ähnliche Objekte (12)
Complete Functional Verification
Formal verification of a processor with memory management units
Verification of second-order functional programs
Hierarchically assembled helicates as functional supramolecular units
Replicons: functional elementary units of genome architecture
Mechanized verification of imperative and functional programs
Putting it all together : formal verification of the VAMP
Putting it all together : formal verification of the VAMP
Simulation for verification and validation of functional safety
Dendritic spines as basic functional units of neuronal integration
Automated techniques for functional verification at the electronic system level
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
Complete Functional Verification
Formal verification of a processor with memory management units
Verification of second-order functional programs
Hierarchically assembled helicates as functional supramolecular units
Replicons: functional elementary units of genome architecture
Mechanized verification of imperative and functional programs
Putting it all together : formal verification of the VAMP
Putting it all together : formal verification of the VAMP
Simulation for verification and validation of functional safety
Dendritic spines as basic functional units of neuronal integration
Automated techniques for functional verification at the electronic system level
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
Complete Functional Verification
Formal verification of a processor with memory management units
Verification of second-order functional programs
Hierarchically assembled helicates as functional supramolecular units
Replicons: functional elementary units of genome architecture
Mechanized verification of imperative and functional programs
Putting it all together : formal verification of the VAMP
Putting it all together : formal verification of the VAMP
Simulation for verification and validation of functional safety
Dendritic spines as basic functional units of neuronal integration
Automated techniques for functional verification at the electronic system level