A Knowledge Based Approach to VLSI CAD the Redesign System

Artificial Intelligence (AI) techniques offer one possible avenue toward new CAD tools to handle the complexities of VLSI. This paper summarizes the experience of the Rutgers AI/VLSI group in exploring applications of AI to VLSI design over the past three years. In particular, it summarizes our experience in developing REDESIGN, a knowledge-based system for providing interactive aid in the functional redesign of digital circuits. Given a desired change to the function of a circuit, REDESIGN combines rule-based knowledge of design tactics with its ability to analyze signal propagation through circuits, in order to (1) help the user focus on an appropriate portion of the circuit to redesign, (2) suggest local redesign alternatives, and (3) determine side effects of possible redesigns. We also summarize our more recent research toward constructing a knowledge-based system for VLSI design and a system for chip debugging, both based on extending the techniques developed for the REDESIGN system.

[1]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[2]  Johan de Kleer,et al.  Causal and Teleological Reasoning In Circuit Recognition , 1979 .

[3]  Van E. Kelly.  The CRITTER System -- Automated Critiquing of Digital Circuit Designs , 1984, 21st Design Automation Conference Proceedings.

[4]  Gerald Jay Sussman,et al.  Computer aided evolutionary design for digital integrated systems , 1980 .

[5]  John McDermott,et al.  Domain Knowledge and the Design Process , 1981, 18th Design Automation Conference.

[6]  John K. Ousterhout.  Switch-Level Delay Models for Digital MOS VLSI , 1984, 21st Design Automation Conference Proceedings.

[7]  Mark Stefik,et al.  Towards the Principled Engineering of Knowledge , 1982, AI Mag..

[8]  P. A. Subrahmanyam.  Synapse: An Expert System for VLSI Design , 1986, Computer.

[9]  Jin Kim,et al.  TALIB: An IC Layout Design Assistant , 1983, AAAI.

[10]  Guy Dupenloup.  A Wire Routing Scheme for Double-Layer Cell Arrays , 1984, 21st Design Automation Conference Proceedings.

[11]  Cordell Green.  Research on Knowledge Based Programming and Algorithm Design. , 1981 .

[12]  Louis I. Steinberg,et al.  The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications , 1982, AAAI.

[13]  Richard C. Waters,et al.  Computer aided evolutionary design for software engineering , 1981, SGAR.

[14]  Donald E. Thomas,et al.  The VLSI Design Automation Assistant: Prototype System , 1983, 20th Design Automation Conference Proceedings.