Faites connaître cet article à vos amis:
High Quality Test Pattern Generation and Boolean Satisfiability Stephan Eggersgluss 2012 edition
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersgluss
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.
193 pages, 52 black & white tables, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 20 octobre 2014 |
| ISBN13 | 9781489988478 |
| Éditeurs | Springer-Verlag New York Inc. |
| Pages | 193 |
| Dimensions | 155 × 235 × 11 mm · 303 g |
| Langue et grammaire | Anglais |
Mere med samme udgiver
Voir tous les Stephan Eggersgluss ( par ex. Hardcover Book et Paperback Book )