Coverart for item
The Resource Test pattern generation using boolean proof engines, Rolf Drechsler ... [et al.], (electronic book)

Test pattern generation using boolean proof engines, Rolf Drechsler ... [et al.], (electronic book)

Label
Test pattern generation using boolean proof engines
Title
Test pattern generation using boolean proof engines
Statement of responsibility
Rolf Drechsler ... [et al.]
Contributor
Subject
Language
eng
Summary
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
Cataloging source
GW5XE
Dewey number
621.3815
Index
index present
LC call number
TK7874.58
LC item number
.T478 2009
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Drechsler, Rolf
http://library.link/vocab/subjectName
  • Integrated circuits
  • Integrated circuits
  • Computer software
  • Algebra, Boolean
  • Integrated circuits
Label
Test pattern generation using boolean proof engines, Rolf Drechsler ... [et al.], (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
Introduction; Preliminaries; Boolean Satisfiability; SAT-Based ATPG; Learning Techniques; Multiple-Valued Logic; Improved Circuit-to-CNF Conversion; Branching Strategies; Integration into Industrial Flow; Delay Faults; Summary and Outlook
Control code
SPR405547872
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9789048123599
Other control number
9786612236440
Specific material designation
remote
Label
Test pattern generation using boolean proof engines, Rolf Drechsler ... [et al.], (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
Introduction; Preliminaries; Boolean Satisfiability; SAT-Based ATPG; Learning Techniques; Multiple-Valued Logic; Improved Circuit-to-CNF Conversion; Branching Strategies; Integration into Industrial Flow; Delay Faults; Summary and Outlook
Control code
SPR405547872
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9789048123599
Other control number
9786612236440
Specific material designation
remote

Library Locations