Critic: a knowledge-based program for critiquing circuit designs

Published 6 January 2003

Rick L. Spickelmier, A. Richard Newton

DOI10.1109/iccd.1988.25715

Citations16

TL;DR

Critic is a knowledge-based system that looks for errors or 'bad design style' in circuit designs, which can range from easily recognizable errors such as a transistor bulk being connected to the wrong supply or a static gate having nonequal rise and fall times.

Abstract

Critic is a knowledge-based system that looks for errors or 'bad design style' in circuit designs. Critic takes as input a description of a circuit and a knowledge-base that describes a particular design-style and technology. The knowledge base consists of: process and design-style constants, a set of primitive descriptions, a set of structure descriptions, and error-checking rules. Critic uses the information in the knowledge base to find structures and errors in the circuit. The errors can range from easily recognizable errors such as a transistor bulk being connected to the wrong supply or a static gate having nonequal rise and fall times to hard-to-recognize errors, such as those dealing with charge sharing, timing, and testability. Critic is integrated with the Berkeley CAD system, has an interactive graphical input and feedback, is easy to use, and has a firm separation between the knowledge-base and program internals.>

Keywords

Computer ScienceEngineering

IEEE Journal of Solid-State CircuitsHigh-speed compact circuits with CMOS

466 Citations1982R.H. Krambeck, C.M. Lee +1 more

A new circuit type, the CMOS domino circuit, is described, which involves the connection of dynamic CMOS gates in such a way that a single clock edge can be used to turn on all gates in the circuit at once.

IEEE Journal of Solid-State CircuitsNORA: a racefree dynamic CMOS technique for pipelined logic structures

297 Citations1983N.F. Goncalves, H. De Man

A new dynamic CMOS technique which is fully racefree, yet has high logic flexibility, and logic inversion is provided, which means higher logic flexibility and less transistors for the same function.

Design Automation ConferenceThe VLSI Design Automation Assistant: Prototype System

54 Citations1983Thaddeus J. Kowalski, Donald E. Thomas

20th Design Automation Conference ProceedingsThe VLSI Design Automation Assistant: Prototype System

44 Citations1983Thaddeus J. Kowalski, Donald E. Thomas

This paper describes how the prototype Design Automation Assistant uses large amounts of expert knowledge to design an architecture with little searching, and presents the current design of a small microprocessor.

IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsDIALOG: An Expert Debugging System for MOSVLSI Design

35 Citations1985H.J. De Man, I. Bolsens +2 more

An expert system (DIALOG) is described to check correctness of logic levels and timing composition rules in n- or CMOS VLSI logic to show the feasibility for batch oriented debugging of up to 50,000 transistors in a workstation environment while keeping knowledge programming efficiency of LEXTOC.

An expert system application in semicustom VLSI design

9 Citations1987Randy Steele

This paper describes the implementation of a prototype expert system that provides standard cell design advice in the areas of performance, manufacturability, testability, and overall design quality, from a netlist description of an application specific integrated circuit (ASIC) design.

View PDF