Representation in CAD: Models and semantics

ABSTRACT

This paper presents a model for the representation of digital designs at the functional (behavioral) level. The definition of a representation involves terms, composition rules, constraints and attributes. The rules specify how terms and compositions can be combined to form new compositions, subject to the constraints. After a survey of formal methods for the specification of language semantics, a hybrid technique is outlined that combines the best of operational and mathematical methods.

REFERENCES

• Ash82: E. A. Ashcroft , W. W. Wadge, mbox for Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.283-294, April 1982 [doi>10.1145/357162.357170]
• Bar78: Mario R. Barbacci, et al., The symbolic manipulation of computer descriptions: The ISPS computer description language, Technical report, Computer Science Department, Carnegie- Mellon University, March 1978.
• Bar84: Harry Barrow, Proving the correctness of digital hardware designs, VLSI Design, Vol. V, No. 7, July 1984, pg. 64-77.
• Bell72: C. Gordon Bell, et al., Designing computer and digital systems, Digital Press, Burlington, Massachusetts, 1972.
• Borning81: Alan Borning, The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.353-387, Oct. 1981 [doi>10.1145/357146.357147]
• Brown83: Harold Brown, Christopher Tong, and Gordon Foyster, Palladio: An exploratory environment for circuit design, Computer, IEEE Computer Society, Vol. 16, No. 12, December 1983, pg. 41-56.
• Das83: Subrata Dasgupta, On the verification of computer architectures using an architecture description language, Proceedings of the 10th annual international symposium on Computer architecture, p.32-38, June 13-17, 1983, Stockholm, Sweden
• Dir82: Steve W. Director, et al., A design methodology and computer aids for digital VLSI systems, Computer Science Research Review, Carnegie-Mellon University, 1982.
• Estrin77: Gerald Estrin, Modeling for synthesis - the gap between intent and behavior, Proceedings of the Symposium on Design Automation and Microprocessors, p.54-59, February 24-25, 1977
• Gordon79: Michael J. C. Gordon, The Denotational Description of Programming Languages: An Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
• Gordon81: Michael J.C. Gordon, A very simple model of sequential behavior of nMOS, VLSI 81 John P. Gray (editor), Academic Press, London, England, 1981.
• Hafer83: Louis J. Haler and Alice C. Parker, A formal method for the specification, analysis, and design of register-transfer level digital logic, IEEE Trans. on GAD, Vol. CAD-2, No. 1, January 1983, pg. 4-18,
• Hill78: Frederick J. Hill , Gerald R. Peterson, Digital systems: hardware organization and design (3rd ed.), John Wiley & Sons, Inc., New York, NY, 1987
• IBM84: IBM, Preliminary language requirements for V}-IDL, Revision 2.0, Federal Systems Division, February 1, 1984.
• Luc81: Peter Lucas, Formal semantics of programming languages: VDL, IBM Journal of R&D, Vol. 25, No. 5, September 1981, pg. 549-561.
• Mavor83: J. Mayor, et al., Introduction to MOS LSI Design, Addison-Wesley, London, England, 1983.
• Mead80: Carver Mead , Lynn Conway, Introduction to VLSI Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1979
• Nelson82: R.A. Nelson, L.M. Haibt, and P.B. Sheridan, Specification, design, and implementation via annotated Petri nets, IBM Research Report RC 9317, T.J. Watson Research Center, March 1982.
• Pete81: James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• Rose79: Charles W. Rose , Larry A. Rogers , Ralph V. Straubs, The N. mPc system description facility, Proceedings of the 16th Conference on Design automation, p.520-528, June 25-27, 1979, San Diego, CA, United States
• Rose83: Charles W. Rose , Greg M. Ordy , Frederic I. Parke, N.mPc: A retrospective, Proceedings of the 20th conference on Design automation, p.497-505, June 27-29, 1983, Miami Beach, Florida, United States
• Rowson80: James Allely Rowson, Understanding hierarchical design, 1980
• Steele79: Guy Lewis Steele, Jr. , Gerald Jay Sussman, Constraints, Proceedings of the international conference on APL: part 1, p.208-225, May 30-June 01, 1979, New York, New York, United States
• Stefik82: Mark Stefik, et al., The partitioning of concerns in digital systems designs, MIT Conference on Advanced Research in VLSI, MIT, January 1982.
• Subra83a: P.A. Subrahmanyam, Overview of a conceptual and formal basis for an automatable high level design paradigm for integrated systems, Proc. ICCD'S3, IEEE Computer Society, Port Chester, New York, 1983, pg. 647-651.
• Subra83b: P.A. Subrahmanyam, Synthesizing VLSI circuits from behavioral specifications: A very high level silicon compiler and its theoretical basis, ~LSI 83 F. Anceau (editor), North Holland, Amsterdam, 1983.
• Thomas83: Donald E. Thomas and John A. Nestor, Designing and implementing a multilevel design representation with simulation applications, IEEE Trans. oa Computer-Aided Design, Vol. CAD-2, No.3, July 1983, pg. 135-145.
• vanC79: William M. vanCleemput, Hierarchical design for VLSI: Problems and advantages, Proc. of the 1st Caltech Conference on VLSI, Caltech, January 1979.
• Weg72: Peter Wegner, The Vienna Definition Language, ACM Computing Surveys (CSUR), v.4 n.1, p.5-63, March 1972 [doi>10.1145/356596.356598]
• Wojt80: H.J. Wojtkowiak, Design automation and verfication for digital systems, IBM Research Report RC 8587, T.J. Watson Research Center, December 1980.

INDEX TERMS

Primary Classification:
  B. Hardware
  B.6 LOGIC DESIGN

Additional Classification:
  J. Computer Applications

General Terms:
Design, Theory