Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
- Location
-
München, Bibliothek der Technischen Universität -- 0102/DAT 001z 2001 A 999-2860#S.51-65
- Extent
-
1 Online-Ressource (S. [51] - 65)
- Language
-
Englisch
- Notes
-
Ill.
In: Correct hardware design and verification methods. - Berlin [u.a.] : Springer, 2003
- Event
-
Veröffentlichung
- (where)
-
Berlin [u.a.]
- (who)
-
Springer
- (when)
-
2003
- Contributor
- URN
-
urn:nbn:de:bvb:12-bsb00059533-0
- Last update
-
16.04.2025, 8:38 AM CEST
Data provider
This object is provided by:
Bayerische Staatsbibliothek. If you have any questions about the object, please contact the data provider.
Bayerische Staatsbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Beyer, Sven
- Paul, Wolfgang J.
- Springer
Time of origin
- 2003
Other Objects (12)
Complete Functional Verification
Formal verification of a processor with memory management units
Verification of second-order functional programs
Replicons: functional elementary units of genome architecture
Hierarchically assembled helicates as functional supramolecular units
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
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
Automated techniques for functional verification at the electronic system level
Complete Functional Verification
Formal verification of a processor with memory management units
Verification of second-order functional programs
Replicons: functional elementary units of genome architecture
Hierarchically assembled helicates as functional supramolecular units
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
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
Automated techniques for functional verification at the electronic system level
Complete Functional Verification
Formal verification of a processor with memory management units
Verification of second-order functional programs
Replicons: functional elementary units of genome architecture
Hierarchically assembled helicates as functional supramolecular units
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
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process