High Quality Test Pattern Generation and Boolean Satisfiability - Softcover

Eggersglüß, Stephan; Drechsler, Rolf

 
9781441999771: High Quality Test Pattern Generation and Boolean Satisfiability

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Part I: Preliminaries and Previous Work.- Circuits and Testing.- Boolean Satisfiability.- ATPG Based on Boolean Satisfiability.- Part II: New SAT Techniques and their Application in ATPG.- Dynamic Clause Activation.- Circuit-based Dynamic Learning.- Part III: High Quality Delay Test Generation.- High Quality ATPG for Transition Faults.- Path Delay Fault Model.- Summary and Outlook.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9781441999757: High Quality Test Pattern Generation and Boolean Satisfiability

Vorgestellte Ausgabe

ISBN 10:  1441999752 ISBN 13:  9781441999757
Verlag: Springer, 2012
Hardcover