This paper presents a realistic test approach suitable to Design For Testability (DFT) and
Built-In Self Test (BIST) environments. The approach is culminated in the form of a test …

The paper presents a new structural fault-independent fault collapsing method based on the
topology analysis of the circuit, which has linear complexity. The minimal necessary set of …

This paper describes a diagnostic software package called Turbo Tester. It contains a variety
of tools related to the area of testing and diagnosis of integrated circuits. The range of tools …

BDDs have become the state-of-the-art data structure in VLSI CAD. In this paper, a special
class of BDDs is presented called Structurally Synthesized BDDs (SSBDD). The idea of …

In this paper we give a short overview of the decision diagrams, and define a special class of
high-level decision diagrams (HLDD) for formal representation of digital systems. We show …

The paper presents a new method and an algorithm for structural fault collapsing to reduce
the search space for test generation, to speed up fault simulation and to make the fault …

ABSTRACT Binary Decision Diagrams present an efficient way of modeling digital systems
for simulation purposes. In order to take into account the need of representing faults directly …

ABSTRACT A component of an ELearning environment process is presented for teaching
circuit simulation (truth table), test generation and fault diagnosis in digital circuits. A low …

Binary decision diagrams (BDD) have become the state-of-the-art data structure in VLSI
CAD for representation and manipulation of Boolean Functions. For verification, fault …

The paper presents a historical perspective to the theory of decision diagrams from the first
definitions of the trees in mathematics related to the representations of discrete sets to the …