DIALOG: An Expert Debugging System for MOSVLSI Design

Author

De Man, Hugo J. ; Bolsens, I. ; Meersch, E.V. ; Van Cleynenbreugel, Johan

Author_Institution

Katholieke Universiteit Leuven, Department Elektrotechniet-Afdeling ESAT, Heverlee, Belgium

Volume

4

Issue

3

fYear

1985

fDate

7/1/1985 12:00:00 AM

Firstpage

303

Lastpage

311

Abstract

An expert system (DIALOG) is described to check correctness of logic levels and timing composition rules in n- or CMOS VLSI logic. Knowledge is described in an engineer oriented language (LEXTOC) allowing for unification (cfr PROLOG), object creation, property assignment, association of relations, rule formulation, logic or arithmetic evaluation as well as conversational constructs. The system is illustrated by checking racefree dynamic CMOS design composition rules. Up to 250 transistors can be handled in the LISP interpretative way on the VAX 11/780. An efficient automatic translation of LEXTOC into Pascal shows the feasibility for batch oriented debugging of up to 50,000 transistors in a workstation environment, while keeping knowledge programming efficiency of LEXTOC.

Keywords

CMOS logic circuits; Circuit synthesis; Cities and towns; Cultural differences; Debugging; Design automation; Logic design; Optical filters; Optical surface waves; Surface acoustic waves;

fLanguage

English

Journal_Title

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Publisher

ieee

ISSN

0278-0070

Type

jour

DOI

10.1109/TCAD.1985.1270126

Filename

1270126