Assessing Fault Model and Test Quality

Released on by Kenneth M. Butler
preview-18

  • Assessing Fault Model and Test Quality Book Detail

  • Author : Kenneth M. Butler
  • Release Date : 2012-12-06
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 142
  • ISBN 13 : 1461536065
  • File Size : 80,80 MB
DOWNLOAD BOOK

Assessing Fault Model and Test Quality by Kenneth M. Butler PDF Summary

Book 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.

Disclaimer: www.yourbookbest.com does not own Assessing Fault Model and Test Quality books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Assessing Fault Model and Test Quality

Assessing Fault Model and Test Quality

File Size : 79,79 MB
Total View : 9100 Views
DOWNLOAD

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 sta

Sequential Logic Synthesis

Sequential Logic Synthesis

File Size : 15,15 MB
Total View : 3756 Views
DOWNLOAD

Computer-aided design (CAD) of very large scale integrated (VLSI) circuits is concerned with the development of computer programs for the automated design and m

Models in Hardware Testing

Models in Hardware Testing

File Size : 83,83 MB
Total View : 2733 Views
DOWNLOAD

Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the