Sökt på: Böcker av Stephan Eggersglüß
totalt 4 träffar
Test Pattern Generation using Boolean Proof Engines
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a …
Test digitaler Schaltkreise
Eingebettete Systeme übernehmen zentrale Steueraufgaben im täglichen Leben. In der Energieversorgung oder im Transportwesen würde ein Ausfall der Systeme fatale Auswirkungen haben. …
High Quality Test Pattern Generation and Boolean Satisfiability
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A …
Test Pattern Generation using Boolean Proof Engines
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a …