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 article 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 (EQ) transition faults efficiently. This procedure mainly consists of two major methods: 1) a user-defined-fault-based inactivation method 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 and 2) a unified fault-pair transformation method 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 EQ-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 EQ transition faults for ISCAS'89 and IWLS'05 benchmark circuits.

Original languageEnglish
Pages (from-to)737-749
Number of pages13
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume41
Issue number3
DOIs
Publication statusPublished - 2022 Mar 1

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