- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
196 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Freiburg (Breisgau), Univ., Diss., 2003 (Nur beschränkt für den Austausch)
- Classification
-
Ingenieurwissenschaften und Maschinenbau
Informatik
- Keyword
-
Logische Schaltung
Testmuster
OBDD
Testen ; Datenstruktur ; Binäres Entscheidungsdiagramm ; Entscheidungsgraph ; OBDD ; Logische Schaltung ; Halbleiterschaltung ; Testmuster
- Creator
-
Keim, Martin
- 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, 12:05 PM 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
- Keim, Martin
Other Objects (12)
Symbolic methods for testing digital circuits
Boolean techniques in testing of digital circuits
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
[Testing of Reversible Circuits]
Testing of reversible circuits
An application of symbolic methods.
Some applications of symbolic methods.
Hybrid symbolic-numeric methods in geosciences
Interval Methods for Analog Circuits
Semantics of digital circuits
Design and verification methods or digital-centric RF circuits and systems
Polynomial Identity Testing for Small Depth Circuits
Symbolic methods for testing digital circuits
Boolean techniques in testing of digital circuits
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
[Testing of Reversible Circuits]
Testing of reversible circuits
An application of symbolic methods.
Some applications of symbolic methods.
Hybrid symbolic-numeric methods in geosciences
Interval Methods for Analog Circuits
Semantics of digital circuits
Design and verification methods or digital-centric RF circuits and systems
Polynomial Identity Testing for Small Depth Circuits
Symbolic methods for testing digital circuits
Boolean techniques in testing of digital circuits
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
[Testing of Reversible Circuits]
Testing of reversible circuits
An application of symbolic methods.
Some applications of symbolic methods.
Hybrid symbolic-numeric methods in geosciences
Interval Methods for Analog Circuits
Semantics of digital circuits
Design and verification methods or digital-centric RF circuits and systems