This article describes a first implementation of a knowledge-based system for interactive support of test engineers in gate-level troubleshooting offaulty VLSZ chips, by offering advice on the "next-best " internal probe point for an electron-beam test probe system. The current OPS83 production system implementation of the fault diagnosis assistant (FDA) recommends an efficient sequence of probes at internal nodes that progressively localizes and identifies single stuck-at faults in combinational logic or combinational partitions within setlscan logic. Unlike the system-specific approaches implemented by most fault diagnosis expert systems, FDA implements the strategically correct (but more challenging) "first-principles" approach to fault diagnosis. This model-based diagnostic methodology is based primarily on using model knowledge of the system's structure (connectivity file) and function (normal, design-prescribed behavior) of the system's primitive components. The model-based approach has the potential to offer excellent fault coverage for large classes of custom design systems, although it can be difficult to implement because of the need to reason with accurate fault-free system simulation data. The prototype version of FDA has been exercised over several simulated examples of single stuck-at faults in simple test combinational circuits. This initial diagnostic capability is the foundation for future versions of FDA whose objectives will include coverage of multiple, nonclassical faults in sequential VLSI circuits.
[1]
Nancy Martin,et al.
Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1)
,
1985,
Int. CMG Conference.
[2]
Phyllis Koton.
Empirical and Model-based Reasoning in Expert Systems
,
1985,
IJCAI.
[3]
Gary S. Kahn,et al.
TEST: A Model-driven Application Shell
,
1987,
AAAI.
[4]
Michael R. Genesereth,et al.
The Use of Design Descriptions in Automated Diagnosis
,
1984,
Artif. Intell..
[5]
Randall Davis,et al.
Diagnosing Circuits With State: An Inherently Underconstrained Problem
,
1984,
AAAI.
[6]
Hideo Fujiwara,et al.
Logic Testing and Design for Testability
,
1985
.
[7]
Raymond Reiter,et al.
A Theory of Diagnosis from First Principles
,
1986,
Artif. Intell..
[8]
Brian C. Williams,et al.
Diagnosing Multiple Faults
,
1987,
Artif. Intell..
[9]
Norio Kuji,et al.
FINDER: A CAD System-Based Electron Beam Tester for Fault Diagnosis of VLSI Circuits
,
1986,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[10]
Norio Kuji,et al.
Integrating an Electron-Beam System into VLSI Fault Diagnosis
,
1986,
IEEE Design & Test of Computers.
[11]
Philippe Dague,et al.
Troubleshooting: When Modeling Is the Trouble
,
1987,
AAAI.
[12]
Tom M. Mitchell,et al.
LEAP: A Learning Apprentice for VLSI Design
,
1985,
IJCAI.