A design utility manager: the ADAM planning engine

ABSTRACT

In this paper we present a software package which manages the digital design process using a planning paradigm. Under this paradigm design is seen as a process in which abstract models of operators are applied to abstract models of design states in a simulated or planning space, until a sequence of operators has been constructed to completion. The hypothetical design represented by the terminal state is then estimated. Either the planning is then repeated, or the sequence, or plan, is then executed, or carried out, in an execution space. This execution is monitored for violation of expectations; if violations occur, control is returned to the planner. The knowledge base of the planner is populated with register transfer level (RTL) concepts, and it can be populated with other knowledge sets. The planner forms part of the USC ADAM (Advanced Design AutoMation) system.

REFERENCES

• 1: John Granacki , David Knapp , Alice Parker, The ADAM advanced design automation system: overview, planner and natural language interface, Proceedings of the 22nd ACM/IEEE conference on Design automation, p.727-730, June 1985, Las Vegas, Nevada, United States [doi>10.1145/317825.317970]
• 2: Knapp, D. and Parker, A., "A Unified Representation for Design Information", CHD1,-85 Conference Proceedings, North-Holland, August 1985.
• 3: H. Afsarmanesh, D. Knapp, D. McLeod, and A. Parker, "An Extensible Object-Oriented Approach to Databases for CAD/VLSt", Proceeding~ of the 11th VLDB Conference, VLDB Endowment, 1985.
• 4: S. W. Director, A. C. Parker, D. P. Siewiorek, D. E. Thomas, "A Design Methodology and Computer Aids for Digital VLSI Systems", IEEE Transaction8 on Circuits and Systems, Vol. CAS-28, July 1981, pp. 634-645.
• 5: Peter Marwedel, The MIMOLA design system: Detailed description of the software system, Proceedings of the 16th Conference on Design automation, p.59-63, June 25-27, 1979, San Diego, CA, United States
• 6: Wolfgang Rosenstiel and Raul Camposano, "Synthesizing Circuits from Behavioural Level Specifications", Proceedings of CHDL-85, North-Holland, 1985, pp. 391-403.
• 7: Michael L. Bushnell and Stephen W. Director, "ULYSSES: An Expert-System Based VLSI Design Environment", Proceedings of ISCAS 85, IEEE, 1985,
• 8: Louis I. Steinberg , Tom M. Mitchell, A knowledge based approach to VLSI CAD the redesign system, Proceedings of the 21st conference on Design automation, p.412-418, June 25-27, 1984, Albuquerque, New Mexico, United States
• 9: Shigeru Takagi, "Design Method Based Logic Synthesis", Proceedings of CHDL-85, North-Holland, 1985.
• 10: Forrest D. Brewer , Daniel D. Gajski, An expert-system paradigm for design, Proceedings of the 23rd ACM/IEEE conference on Design automation, p.62-68, July 1986, Las Vegas, Nevada, United States
• 11: B. Ackland, A. Dickenson, R. Ensor, J. Gabbe, P. Kollaritseh, T. London, C. Poirer, P. Subrahmanyan, and H. Watanabe, "CADRE: A System of Cooperating VLSI Design Experts", Proceedinge of ICCD-85, IEEE, 1985.
• 12: Earl D. Sacerdoti, A Structure for Plana and Behavior, Elsevier Scientific Publishing, 1977.
• 13: Mark Jeffrey Stefik, Planning with constraints, 1980
• 14: Thomas, D., The Design and Analysis of an Automated Design Style Selector, PhD dissertation, Dept. of Electrical Engineering, Carnegie-Melton University, Pittsburgh, Pa., April 1977.
• 15: M. Minsky, A Framework for Flepreeenting rfnou~ledge, McGraw-Hill, 1975.
• 16: Ronald J. Brachman, "I Lied About the Trees", The AI Magazine, Vol. 6, No. 31985.
• 17: Avron Barr and Edward Feigenbaum, The Handbook of Artificial Intelligence, William Kaufmann, 1981.
• 18: Nohbyung Park, Synthesis of High-Speed Digital S~latems, PhD dissertation, University of Southern California, 1985.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Plan execution, formation, and generation

Additional Classification:
  B. Hardware
  B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION

  J. Computer Applications

General Terms:
Design, Performance, Theory