The ADAM advanced design automation system: overview, planner and natural language interface

ABSTRACT

This paper describes ADAM, an integrated Advanced Design AutoMation system, with focus on the knowledge-based synthesis subsystem. Working parts of this subsystem include a number of design activities and utilities, and a unified, multidimensional, hierarchical design representation. Two aspects of the synthesis subsystem are described in detail: the design planner and the natural language interface. The planner builds a plan for synthesis and analysis activities, drawing inferences from a knowledge base represented by a semantic net. The natural language interface accepts system-level behavioral specifications. Both of these packages are currently being implemented.

REFERENCES

• 1: H. Afsarmanesh, D. Knapp, D. McLeod, and A. Parker. An Extensibte Object-Oriented Approath to Databasees for c~/v~sl. Submitted to the 11 th International Conference on Very Large Data Basvs.
• 2: M. A. Breuer , Xi-an Zhu, A knowledge based system for selecting a test methodology for a PLA, Proceedings of the 22nd ACM/IEEE conference on Design automation, p.259-265, June 1985, Las Vegas, Nevada, United States [doi>10.1145/317825.317868]
• 3: S. Chowdhury , M. A. Breuer, The construction of minimal area power and ground nets for VLSI circuits, Proceedings of the 22nd ACM/IEEE conference on Design automation, p.794-797, June 1985, Las Vegas, Nevada, United States [doi>10.1145/317825.317996]
• 4: H. Brown and M. Slefik. Pa!ladio: An Expert Assistant for Integrated Circuit Design. 1982. Memo KB-VLSI-82-17 (working paper), Xerox PARC.
• 5: Knapp, D. and Purger, A. A Data Strtteture f,~r VLSI Syntkesis and Verification. Technical Report DISC 88-6a, Digital Integrated Systems Center, Dept. of EE-Systems, University of Southern California, Octol,er, 1983.
• 6: F~di Kurdahi and ^rice Parker. Wiring Space E~ti,~,ation of Sta,;:dard Cell Designs. Technical Report DISC/84-5, University of Southern California, Department of EE-Systems, November, 1984.
• 7: Landman, B. and Russo, R. On a Pin or Block l:elationship for Partitions of Logical Graphs. fEEE Transaction,~ on Computer.~ C-20:1469-1479, 1971.
• 8: Park, N. and Parker, A. Synthesis of Optimal Clockino Schemes for Digital Systems. Technical Report DISC}84-1, Dept. of E~Systems, University of Southern Califorl, ia, May, 1984.
• 9: Alice C. Parker , Fadi Kurdahi , Mitch Mlinar, A general methodology for synthesis and verification of register-transfer designs, Proceedings of the 21st conference on Design automation, p.329-335, June 25-27, 1984, Albuquerque, New Mexico, United States
• 10: Parker, A., Park, N. and Knapp, D. Simulation Ef fectivcne~ and Design Verification. Technical Report DISC/84~2, Department of EE-Systems, University of Southern California, October, 1984.
• 11: Robert Wilensky , Yigal Arens , David Chin, Talking to UNIX in English: an overview of UC, Communications of the ACM, v.27 n.6, p.574-593, June 1984 [doi>10.1145/358080.358101]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.1 Applications and Expert Systems
          Subjects: Natural language interfaces

Additional Classification:
  B. Hardware
  B.7 INTEGRATED CIRCUITS
      B.7.1 Types and Design Styles
          Subjects: VLSI (very large scale integration)

  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)
          Subjects: Natural language

  J. Computer Applications

General Terms:
Design, Human Factors, Languages, Performance, Theory