Debugging integrated circuits: AI can help

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.<
>