Test Pattern Generation using Boolean Proof Engines - Bog af Rolf Drechsler, Daniel Tille, mfl. - Hardback

Test Pattern Generation using Boolean Proof Engines - Rolf Drechsler

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs.