2005 · 23 citations · 17 references
EngineeringComputer EngineeringElectrical EngineeringFault-tolerant ComputingFault-tolerant SystemsMicroelectronicsDesign For TestabilityDevice CharacterizationFault DetectionFault DiagnosisFault ModelingHardware Fault ToleranceCircuit Fault AnalysisDefect LocalizationFault Localization AlgorithmsFault SimulationKnowledge-based Diagnosis
The authors deal with prototype validation of VLSI circuits. Circuits are observed using electron-beam probing used in voltage contrast mode, in such a way that gray-level images are obtained and processed in order to determine potential values of connexions. These values are compared against reference values, issued from fault-free simulation of the device under test. The list of discrepancies resulting from comparison constitutes input for a fault localization process done using a knowledge-based system. The reasons for the choice for such an approach are explained, and the approach itself is described, as well as its implementation and the obtained results.
17
Yacc : Yet Another Compiler Compiler
S. C. Johnson, Murray Hill · 1978 · 1.2K citations
Diagnostic reasoning based on structure and behavior
Randall Davis · Artificial Intelligence · 1984 · 975 citations · Full text
Logic Testing and Design for testability
Computer-Aided Design · 1986 · 324 citations
Failure diagnosis of structured VLSI
J.A. Waicukauski, Eric Lindbloom · IEEE Design & Test of Computers · 1989 · 282 citations