An Efficient Procedure to Generate Highly Compact Diagnosis Patterns for Transition Faults

Kuen Jong Lee, Cheng Hung Wu, Tsung Yu Hou

Research output: Contribution to journalArticlepeer-review

Abstract

This paper presents a diagnosis pattern generation procedure that not only can generate very compact diagnosis patterns to distinguish nonequivalent transition faults, but also can identify equivalent transition faults efficiently. This procedure mainly consists of two major methods. The first one is a user-defined-fault-based inactivation method (UDFIM) that transforms the problem of distinguishing all transition faults into that of detecting a set of user-defined faults and then deals with all these faults at a time by using an ATPG tool. The second one is a unified fault-pair transformation method (UFPTM) that transforms the problem of distinguishing two transition faults into the problem of detecting a transition fault and then process all these faults also in one ATPG run. By these two methods, very compact diagnosis pattern sets can be obtained. For the very few fault pairs that cannot be handled by these two methods due to ATPG backtracking limit, we employ a SAT-based method to deal with these pairs and show that they are all equivalent-fault pairs. Experimental results on ISCAS’89 and IWLS’05 benchmark circuits show that this is the first work that can distinguish all distinguishable transition faults and identify all equivalent transition faults for ISCAS’89 and IWLS’05 benchmark circuits.

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'An Efficient Procedure to Generate Highly Compact Diagnosis Patterns for Transition Faults'. Together they form a unique fingerprint.

Cite this