High Quality Test Pattern Generation and Boolean Satisfiability - Couverture souple

Eggersglüß, Stephan; Drechsler, Rolf

 
9781441999771: High Quality Test Pattern Generation and Boolean Satisfiability
Couverture souple
ISBN 10 : 1441999779 ISBN 13 : 9781441999771
Editeur : Springer, 2012

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
1441999779
ISBN 13 
9781441999771
Reliure
Taschenbuch
Nombre de pages
212
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781441999757: High Quality Test Pattern Generation and Boolean Satisfiability

Edition présentée

ISBN 10 :  1441999752 ISBN 13 :  9781441999757
Editeur : Springer-Verlag New York Inc., 2012
Couverture rigide