Stephan Eggersglüß, Görschwin Fey, Ilia Polian
3 Ebooks by Stephan Eggersglu
Rolf Drechsler & Stephan Eggersglüß: 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 SAT problem is consid …
PDF
Inggeris
€96.29