An object-based representation for the evolution of VLSI designs

Abstract The information involved in the development of VLSI designs is both vast and conceptually complex. This paper presents an object-based representation of the information needed to support design development processes. In this representation, attributes that are invariant under certain classes of design operations are identified and grouped into objects. The resulting structure allows different implementations to be simultaneously and compactly maintained; it also supports parameterized designs. A taxonomy of objects is established so that appropriate design techniques are inherited. To allow customized design environments, control knowledge is kept separate from both the domain knowledge and the description of the design. Historical information that may be used for redesign, learning, and explanation is also retained. Although we believe that the representation applies to design quite generally, the taxonomy and vocabulary of the examples are taken from the VLSI arena and implementation is discussed in the context of LISP and KEE™ frame-based software.

[1]  Brian Randell,et al.  Operating Systems, An Advanced Course , 1978 .

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

[3]  Randy H. Katz,et al.  Managing the chip design database , 1983, Computer.

[4]  Guy L. Steele,et al.  Common Lisp the Language , 1984 .

[5]  Philip A. Bernstein,et al.  Concurrency Control in Distributed Database Systems , 1986, CSUR.

[6]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[7]  Catriel Beeri,et al.  A Concurrency Control Theory for Nested Transactions. , 1983, PODC 1983.

[8]  Marc J. Rochkind,et al.  The source code control system , 1975, IEEE Transactions on Software Engineering.

[9]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[10]  P. A. Subrahmanyam LCS-A Leaf Cell Synthesizer Employing Formal Deduction Techniques , 1987, 24th ACM/IEEE Design Automation Conference.

[11]  J. Dekleer An assumption-based TMS , 1986 .

[12]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[13]  Daniel J. Rosenkrantz,et al.  System level concurrency control for distributed database systems , 1978, TODS.

[14]  John D. Gabbe,et al.  Transactional Blackboards , 1985, IJCAI.

[15]  Randy H. Katz,et al.  A Version Server for Computer-Aided Design Data , 1986, DAC 1986.

[16]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[17]  Jim Gray,et al.  Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.

[18]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[19]  Nancy A. Lynch,et al.  Concurrency control for resilient nested transactions , 1983, PODS '83.

[20]  Daniel G. Bobrow,et al.  Layered Networks as a Tool for Software Development , 1981, IJCAI.

[21]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[22]  Harold Brown,et al.  Palladio: An exploratory environment for circuit design , 1983, Computer.

[23]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.