Undetectable fault removal of sequential circuits based on unreachable states
Hiroyuki Yotsuyanagi, K. Kinoshita · 2002
We present a procedure to reduce sequential circuits by removing undetectable faults based on unreachable states. Procedures for obtaining unreachable stares and for identifying undetectable faults which can be the target of fault removal are presented. Experimental results for ISCAS benchmark circuits are shown.