Assessing Fault Model and Test Quality 1992 Edition Contributor(s): Butler, Kenneth M. (Author), Mercer, M. Ray (Author) |
|
![]() |
ISBN: 0792392221 ISBN-13: 9780792392224 Publisher: Springer OUR PRICE: $104.49 Product Type: Hardcover - Other Formats Published: October 1991 |
Additional Information |
BISAC Categories: - Technology & Engineering | Electronics - Circuits - General - Computers | Cad-cam - Technology & Engineering | Electrical |
Dewey: 621.381 |
LCCN: 91-32602 |
Series: The Springer International Engineering and Computer Science |
Physical Information: 0.44" H x 6.14" W x 9.21" (0.88 lbs) 132 pages |
Descriptions, Reviews, Etc. |
Publisher Description: For many years, the dominant fault model in automatic test pattern gen- eration (ATPG) for digital integrated circuits has been the stuck-at fault model. The static nature of stuck-at fault testing when compared to the extremely dynamic nature of integrated circuit (IC) technology has caused many to question whether or not stuck-at fault based testing is still viable. Attempts at answering this question have not been wholly satisfying due to a lack of true quantification, statistical significance, and/or high computational expense. In this monograph we introduce a methodology to address the ques- tion in a manner which circumvents the drawbacks of previous approaches. The method is based on symbolic Boolean functional analyses using Or- dered Binary Decision Diagrams (OBDDs). OBDDs have been conjectured to be an attractive representation form for Boolean functions, although cases ex- ist for which their complexity is guaranteed to grow exponentially with input cardinality. Classes of Boolean functions which exploit the efficiencies inherent in OBDDs to a very great extent are examined in Chapter 7. Exact equa- tions giving their OBDD sizes are derived, whereas until very recently only size bounds have been available. These size equations suggest that straight- forward applications of OBDDs to design and test related problems may not prove as fruitful as was once thought. |