Gå direkte til innholdet
High Quality Test Pattern Generation and Boolean Satisfiability
Spar

High Quality Test Pattern Generation and Boolean Satisfiability

innbundet, 2012
Engelsk
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.
Opplag
2012
ISBN
9781441999757
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
31.1.2012
Antall sider
193