Conte aos seus amigos sobre este item:
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ídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de janeiro de 2012 |
| Data do lançamento original | 2011 |
| ISBN13 | 9781441999757 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 193 |
| Dimensões | 155 × 235 × 12 mm · 476 g |
| Idioma | Inglês |
Mere med samme udgiver
Ver tudo de Stephan Eggersgluss ( por exemplo Hardcover Book e Paperback Book )