Hochschulschrift
Boolean reasoning for digital circuits in presence of unknown values : application to test automation
- Alternative title
-
Analyse des Verhaltens digitaler Schaltungen mit unbekannten Werten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Stuttgart, Universität Stuttgart, Diss., 2014
- Classification
-
Informatik
- Keyword
-
Entwurfsautomation ; Integrierte Schaltung ; Fehlersimulation ; ATPG ; Algorithmus ; Hardware
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2014
- Creator
- Contributor
-
Wunderlich, Hans-Joachim
- URN
-
urn:nbn:de:bsz:93-opus-93201
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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
- Kochte, Michael Andreas
- Wunderlich, Hans-Joachim
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2014
Other Objects (12)
Clausal proofs for pseudo-boolean reasoning
The theory of Boolean counterfactual reasoning
Boolean techniques in testing of digital circuits
Derandomizing RP if Boolean circuits are not learnable
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Complexity classifications for different equivalence and audit problems for boolean circuits
Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
Formal verification of sequential circuits using reasoning techniques
From Boolean logic to switching circuits and automata : towards modern information technology
Boolean Algebras
Boolean algebras
Boolean algebras
Clausal proofs for pseudo-boolean reasoning
The theory of Boolean counterfactual reasoning
Boolean techniques in testing of digital circuits
Derandomizing RP if Boolean circuits are not learnable
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Complexity classifications for different equivalence and audit problems for boolean circuits
Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
Formal verification of sequential circuits using reasoning techniques
From Boolean logic to switching circuits and automata : towards modern information technology
Boolean Algebras
Boolean algebras
Boolean algebras
Clausal proofs for pseudo-boolean reasoning
The theory of Boolean counterfactual reasoning
Boolean techniques in testing of digital circuits
Derandomizing RP if Boolean circuits are not learnable
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Complexity classifications for different equivalence and audit problems for boolean circuits
Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
Formal verification of sequential circuits using reasoning techniques
From Boolean logic to switching circuits and automata : towards modern information technology
Boolean Algebras
Boolean algebras