Drechsler Rolf, Eggersgluss Stephan, Fey Gorschwin, Tille Daniel:
Test Pattern Generation Using Boolean Proof Engines
Springer (Netherlands), 2009
Hardback, 208 pages
Size: 234x156 mm
ISBN: 9789048123599
ISBN-10: 9048123593
List price: £90.00
You save: 15%
Test Pattern Generation Using Boolean Proof Engines
Gives an introduction to ATPG. This work reviews the basic concept and classical ATPG algorithms. It also considers the formulation as a SAT problem. It covers efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs.
