
Conte aos seus amigos sobre este item:
High Quality Test Pattern Generation and Boolean Satisfiability 2012 edition
Stephan Eggersgluss
High Quality Test Pattern Generation and Boolean Satisfiability 2012 edition
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 Paperback Book (Livro de capa flexível e brochura) |
Lançado | 20 de outubro de 2014 |
ISBN13 | 9781489988478 |
Editoras | Springer-Verlag New York Inc. |
Páginas | 193 |
Dimensões | 155 × 235 × 11 mm · 303 g |
Idioma | English |
Mais por Stephan Eggersgluss
Ver tudo de Stephan Eggersgluss ( por exemplo Hardcover Book , Paperback Book e Book )