Debugging integrated circuits: AI can help

M. Marzouki (1) , B. Courtois (1)

1 TIM3

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.

Mots clés: combinatorial-ICs; fault-location; Pesticide; Prolog-written-expert-system; integrated-circuit-debugging

Domaines: Micro et nanotechnologies/Microélectronique

M. Marzouki, B. Courtois. Debugging integrated circuits: AI can help. IEEE 1st European Test Conference (ETS'89), Apr 1989, Paris, France. pp.184-191. ⟨hal-00013397⟩