Stephan Eggersglüß, Görschwin Fey, Ilia Polian
3 หนังสืออิเล็กทรอนิกส์โดย Stephan Eggersglüß
Stephan Eggersglüß & Rolf Drechsler: 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 fast and highly …
PDF
อังกฤษ
€96.29
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
อังกฤษ
€96.29
