Sequential Redundancy Removal Using Test Generation and Multiple Strongly Unreachable States

Hiroyuki YOTSUYANAGI  Masaki HASHIZUME  Takeomi TAMESADA  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E85-D   No.10   pp.1605-1608
Publication Date: 2002/10/01
Online ISSN: 
DOI: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section LETTER (Special Issue on Test and Verification of VLSI)
Category: 
Keyword: 
synthesis for testability,  redundancy removal,  sequential circuit,  undetectable faults,  unreachable states,  

Full Text: PDF(220.4KB)>>
Buy this Article




Summary: 
A procedure to remove redundancies in sequential circuits is proposed using strongly unreachable states, which are the states with no incoming transitions. Test generation is used to find undetectable faults related to two or more strongly unreachable states. Experimental results show the new procedure can find more redundancies of sequential circuits.