Hochschulschrift
Verifikation digitaler Schaltungen mittels symbolischer Simulation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832211592
3832211594
- Dimensions
-
21 cm, 200 gr.
- Extent
-
IV, 125 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 2002
- Keyword
-
Digitale integrierte Schaltung
Entwurfsautomation
Laufzeitmessung
Gattersimulation
VERILOG
Testmustergenerierung
Schaltung
Simulation
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2003
- Creator
-
Kölbl, Alfred
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:00 PM CEST
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
- Kölbl, Alfred
- Shaker
Time of origin
- 2003
Other Objects (12)
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Ansätze zur formalen Verifikation analoger Schaltungen
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Effiziente Verifikation der Robustheit komplexer integrierter Schaltungen
Simulation gemischt digitaler und analoger Schaltungen
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik
Digitale Simulation hydraulischer Schaltungen : Stand: Dezember 1978
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Symbolische Verfahren zur Entwurfsunterstützung analoger Schaltungen
Symbolische Analyse analoger BiCMOS-Schaltungen
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Ansätze zur formalen Verifikation analoger Schaltungen
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Effiziente Verifikation der Robustheit komplexer integrierter Schaltungen
Simulation gemischt digitaler und analoger Schaltungen
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik
Digitale Simulation hydraulischer Schaltungen : Stand: Dezember 1978
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Symbolische Verfahren zur Entwurfsunterstützung analoger Schaltungen
Symbolische Analyse analoger BiCMOS-Schaltungen
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Ansätze zur formalen Verifikation analoger Schaltungen
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Effiziente Verifikation der Robustheit komplexer integrierter Schaltungen
Simulation gemischt digitaler und analoger Schaltungen
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik
Digitale Simulation hydraulischer Schaltungen : Stand: Dezember 1978
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Symbolische Verfahren zur Entwurfsunterstützung analoger Schaltungen