Abstract:The cost effectiveness of fault detection and isolation techniques used in complex systems is paid more attention in nowadays. Well design for testability (DFT) can save cost in fault detection and isolation, assure adequate failure coverage by Built-In Test (BIT) and Automatic Test Equipment (ATE), reduce false alarms, and reduce maintenance training requirements. However, there are limited intelligent approaches implemented and applied for DFT for integrated diagnostics. Meanwhile, different tools for DFT are incompatible with each other. This phenomenon has prevented testability engineering from integrating into system engineering. The paper promotes a general-purpose graph and information based intelligent approach to DFT supporting concurrent system engineering. Testability models, including information flow model, multi-signal flow model, hybrid dependency model, etc, can all be described by a graph theory core with information attached. Meanwhile, intelligent algorithms are imported to solve complex testability inference problems, most of which are NP problems. The testability figures of merit (TFOMs) defined in IEEE 1522 are adopted to standardize the quantitative parameters to assess the testability level. An intelligent DFT framework is constructed according to AI-ESTATE to realize artificial intelligent information exchanges. The graph and information based intelligent approach is shown to be efficient and effective to realize advanced DFT of complex large systems. The transitive closure algorithm and the logical closure algorithm given in the paper is verified by the example of an electronic equipment with 4 test items and 5 fault modes. The genetic algorithms (GAs) based fault detection rate (FDR) allocation method is applied in a 3 layers' certain electronic system composed of 6 subsystems. By comparing with experience and fault rate based TFOMs allocation method, GAs is shown to be more adaptive and efficiency. © 2011 IEEE.

An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability

An Efficient Diagnostic Test Pattern Generation Framework

A Test Pattern Generation Method with High Compression Ratio

Mutation-based diagnostic test generation for hardware design error diagnosis

Graph and information based intelligent design for testability

Towards Efficient Data-flow Test Data Generation

A Unified Solution to Reduce Test Power and Test Volume for Test-per-scan Schemes

A combined passive-active method for diagnosing multiplicative fault

A portable pattern-based design technology co-optimization flow to reduce optical proximity correction run-time

Exploring Topological Structure of Boolean Expressions for Test Data Selection

Test compaction for small-delay defects using an effective path selection scheme

A General Enhancement Method for Test Strategy Generation for the Sequential Fault Diagnosis of Complex Systems

A Low Cost Test Pattern Generator for Test-Per-clock BIST Scheme.

Towards Selecting Test Data Using Topological Structure of Boolean Expressions

Compact Test Generation for Small-Delay Defects Using Testable-Path Information

Test pattern generation for static burn-in based on equivalent fault model

Test Pattern Merging Algorithms for Sequential Circuits

An Algorithm for Fault Diagnosis Based on Combinatorial Design Approach for Testing

Integrated testability modeling method of complex systems for fault feature selection and diagnosis strategy optimization

Test Patterns of Multiple Sic Vectors: Theory and Application in Bist Schemes

A Comprehensive Test Pattern Generation Approach Exploiting SAT Attack for Logic Locking