Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 20 de octubre de 2014 |
| ISBN13 | 9781489988478 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 193 |
| Dimensiones | 155 × 235 × 11 mm · 303 g |
| Lengua | Inglés |