Gå direkt till innehållet
High Quality Test Pattern Generation and Boolean Satisfiability
Spara

High Quality Test Pattern Generation and Boolean Satisfiability

inbunden, 2012
Engelska
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.
Upplaga
2012
ISBN
9781441999757
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2012-01-31
Sidor
193