Title :
ESTA: an expert system for DFT rule verification
Author :
Camurati, P. ; Gianoglio, P. ; Gianoglio, R. ; Prinetto, P.
Author_Institution :
Turin Polytech., Italy
fDate :
11/1/1988 12:00:00 AM
Abstract :
A description is given of ESTA, an expert system for the automation of design for testability (DFT) verification. The system takes descriptions written in a conventional hardware description language as input, translates them into a intermediate Prolog form and checks whether they comply either with the level sensitive scan design (LSSD) DFT method of B. Eichelberger and T.W. Williams (1977) or the built-in logic block observation (BILBO) DFT techniques of B. Konemann et al. (1979)
Keywords :
VLSI; circuit CAD; expert systems; logic CAD; BILBO; CAD; DFT rule verification; ESTA; LSSD; built-in logic block observation; computer aided design; design for testability; digital ICs; expert system; hardware description language; intermediate Prolog form; level sensitive scan design; Artificial intelligence; Automatic testing; Circuit testing; Design automation; Design for testability; Emulation; Expert systems; Humans; System testing; Very large scale integration;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
