Title
Improving the testability and reliability of sequential circuits with invariant logic
Abstract
In this paper, we propose the use of logic implications to enhance online error detection capabilities and to improve the testing efficiency of an integrated circuit. These logic implications are implemented in hardware and help to verify that expected invariant circuit relationships are satisfied during field operation. Thus, any implication violation will indicate the presence of an error due to some faulty circuit behavior. In addition, checking these logic implications in hardware will create additional circuit outputs, which may be useful for compacting $n$-detect test sets. Our results show that logic implications can provide significant error detection and test pattern count reduction with very limited hardware overhead.
Year
DOI
Venue
2010
10.1145/1785481.1785513
ACM Great Lakes Symposium on VLSI
Keywords
DocType
Citations 
online error detection capability,expected invariant circuit relationship,invariant logic,limited hardware overhead,sequential circuit,test pattern count reduction,additional circuit output,faulty circuit behavior,test set,significant error detection,logic implication,integrated circuit,error detection,sequential circuits,satisfiability
Conference
1
PageRank 
References 
Authors
0.35
12
4
Name
Order
Citations
PageRank
Nuno Alves1413.74
Kundan Nepal2415.88
Jennifer Dworak310.35
R. Iris Bahar487884.31