Monografie
Formal sequential equivalence checking of digital systems by symbolic simulation
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Techn. Univ., Diss., 2001
- Identifier
-
963624571
Thema
Hardwareverifikation ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Algorithms and data structures for a music notation system based on GUIDO music notation
A coherence function approach to image simulation
Design and implementation of a new local control system at the S-DALINAC
New public-key cryptosystems with fast decryption
Subjekt, Information und System : zur Ätiologie von Prozessen der Transformation sozialer Wahrnehmung in formale Symbolik
Diffraktive optische Elemente für moderne mikrooptische Systeme
Short ranged central and tensor correlations in nuclear many-body systems : towards ab initio calculations using realistic interactions within the unitary correlation operator method
Simulation energiegefilterter elektronenmikroskopischer Bilder unter Berücksichtigung inelastischer Streuprozesse
Numerische Simulation des laminar-turbulenten Grenzschichtumschlags unter Turbomaschinenbedingungen
Ternary and quaternary phases in the alkali earth rhenium oxygen system
Multiple weak shock waves induced by heavy ion beams in solid matter
Plasma diagnostics of discharge channels for neutralized ion beam transport
Algorithms and data structures for a music notation system based on GUIDO music notation
A coherence function approach to image simulation
Design and implementation of a new local control system at the S-DALINAC
New public-key cryptosystems with fast decryption
Subjekt, Information und System : zur Ätiologie von Prozessen der Transformation sozialer Wahrnehmung in formale Symbolik
Diffraktive optische Elemente für moderne mikrooptische Systeme
Short ranged central and tensor correlations in nuclear many-body systems : towards ab initio calculations using realistic interactions within the unitary correlation operator method
Simulation energiegefilterter elektronenmikroskopischer Bilder unter Berücksichtigung inelastischer Streuprozesse
Numerische Simulation des laminar-turbulenten Grenzschichtumschlags unter Turbomaschinenbedingungen
Ternary and quaternary phases in the alkali earth rhenium oxygen system
Multiple weak shock waves induced by heavy ion beams in solid matter
Plasma diagnostics of discharge channels for neutralized ion beam transport
Algorithms and data structures for a music notation system based on GUIDO music notation
A coherence function approach to image simulation
Design and implementation of a new local control system at the S-DALINAC
New public-key cryptosystems with fast decryption
Subjekt, Information und System : zur Ätiologie von Prozessen der Transformation sozialer Wahrnehmung in formale Symbolik
Diffraktive optische Elemente für moderne mikrooptische Systeme
Short ranged central and tensor correlations in nuclear many-body systems : towards ab initio calculations using realistic interactions within the unitary correlation operator method
Simulation energiegefilterter elektronenmikroskopischer Bilder unter Berücksichtigung inelastischer Streuprozesse
Numerische Simulation des laminar-turbulenten Grenzschichtumschlags unter Turbomaschinenbedingungen
Ternary and quaternary phases in the alkali earth rhenium oxygen system
Multiple weak shock waves induced by heavy ion beams in solid matter