Debugging integrated circuits: AI can help
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
An overview of Pesticide, a Prolog-written expert system for integrated-circuit debugging is presented. Pesticide relies on the knowledge of structural and functional properties of both combinational and sequential ICs. Its external environment consists of a scanning electron microscope used in voltage contrast mode and linked to CAD tools. Particular attention is given to the modeling of the device under test, the strategies adopted for fault detection and localization within the circuit under test, and some simple execution examples.Keywords
This publication has 6 references indexed in Scilit:
- Applications of a general propagation algorithm for probabilistic expert systemsStatistics and Computing, 1992
- An integrated debugging system based on E-beam testMicroelectronic Engineering, 1987
- Integrating design information for IC diagnosisPublished by Association for Computing Machinery (ACM) ,1987
- Test-pattern generation for VLSI circuits in a Prolog environmentPublished by Springer Nature ,1986
- Verification Testing—A Pseudoexhaustive Test TechniqueIEEE Transactions on Computers, 1984
- Representing Structure and Behavior of Digital HardwareComputer, 1983