FIRE is a novel Fault-Independent algorithm for combinational REdundancy identification.
The algorithm is based on a simple concept that a fault which requires a conflict as a …

We give two theorems for identifying untestable faults in sequential circuits. The first, the
single-fault theorem, states that if a single fault in a combinational array is untestable then …

Previous solutions to the difficult problem of identifying sequential redundancy are either
based on incorrect theoretical results, or rely on unrealistic simplifying assumptions, or are …

This article proposes an efficient method to identify untestable faults in sequential circuits. It
uses a controllability calculation and symbolic simulation procedure that propagates the …

In this paper, we first present an algorithm (FILL) to efficiently identify a large subset of illegal
states in synchronous sequential circuits, without assuming a global reset mechanism. A …

This paper presents a new graph traversal based framework for sequential logic implication
called GRAPH-SIMP. Due to the prohibitive time and space cost, few previous works target …

This work provides a survey study of several outlier analysis techniques and compares their
effectiveness in the context of delay testing. Three different approaches are studied, an …

Through their simulation-based engineering (SBE) design partnership, Goodyear achieved
a substantial competitive advantage in new product development and Sandia National …

In this paper, we first present an algorithm (FILL) which efficiently identifies a large subset of
the illegal states in a synchronous sequential circuit, without assuming a global reset …

We describe a time-efficient procedure for identifying undetectable and redundant faults in a
synchronous sequential circuit, without using a sequential circuit test pattern generator. The …