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.
Read More
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.
Read Less
Add this copy of High Quality Test Pattern Generation and Boolean to cart. $122.11, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Springer.
Add this copy of High Quality Test Pattern Generation and Boolean to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer.