Stephan Eggersglu – författare
Visar alla böcker från författaren Stephan Eggersglu. Handla med fri frakt och snabb leverans.
4 produkter
High Quality Test Pattern Generation and Boolean Satisfiability
Av Rolf Drechsler, Stephan Eggersglu
E-bok, 2012
1459 kr
Lägg i varukorg
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 fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay …
Test Pattern Generation using Boolean Proof Engines
Av Daniel Tille, Gorschwin Fey m. fl.
E-bok, 2009
1459 kr
Lägg i varukorg
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 SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are …
