A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization

Various satisfiability problems in combinational logic blocks as, for example, test pattern generation, verification, and netlist optimization, can be solved efficiently by exploiting the fundamental concepts of propagation and justification. Therefore, fault effect propagation gains further importa...

Full description

Saved in:
Bibliographic Details
Main Authors: Henftling, M., Wittmann, H.C., Antreich, K.J.
Format: Conference Proceeding
Language:English
Subjects:
Automatic testing
Circuit faults
Circuit testing
Combinational circuits
Digital circuits
Electronic design automation and methodology
Logic design
Logic testing
Redundancy
Test pattern generators
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Various satisfiability problems in combinational logic blocks as, for example, test pattern generation, verification, and netlist optimization, can be solved efficiently by exploiting the fundamental concepts of propagation and justification. Therefore, fault effect propagation gains further importance. For the first time, we provide the theoretical background for a single path oriented fault effect propagation considering both single and multiple path sensitization. We call this approach SPOP. Furthermore, we formulate necessary and sufficient sensitization conditions for SPOP. From these conditions the best suited algebra for propagation can be derived. Experimental results for stuck-at test pattern generation demonstrate that the new approach is orthogonal to D-frontier based methods. We achieve substantial improvements with respect to test pattern generation time and quality.
ISSN:1063-6757
1092-3152
1558-2434
DOI:10.1109/ICCAD.1995.480027