Synthesis by delayed binding of decisions

ABSTRACT

This paper presents a method for the automatic synthesis of digital systems from behavioral descriptions. Subtasks in complex problem solving activities like synthesis often interact. As a result, premature binding of decisions can lead to poor designs. Better design choices can be made if decisions are postponed until adequate information is available to make them. The paper details how delayed binding of decisions is implemented in a program called SUGAR and how subtasks are organized so that they cooperate with one another in designing a system.

REFERENCES

• 1: S.W. Director, A.C. Parker, D.P. Siewiorek, and D.E. Thomas, '~ Design Methodology and Computer Aids for Digital VLSI Systems," IEEE Trans. Circuit8 Systems CAS-28(7) pp. 634-645 (July 1981).
• 2: M.R. Barb~cci, 'Instruction Set Specifications (ISPS): The Notation and its Applications," IEEE Trans. Computers C,-30(1)(Jan. 1981).
• 3: D.E. Thomas, C.Y. Hitchcock III, T.J. Kowalski, J.V. Rajan, and R.A. Walker, 'IA.utomatic Data Path Synthesis," Computar 16(12)pp. 59-70 (Dec. 1983).
• 4: Chia-Jeng Tseng , Daniel P. Siewiorek, Emerald: A bus style designer, Proceedings of the 21st conference on Design automation, p.315-321, June 25-27, 1984, Albuquerque, New Mexico, United States
• 5: B.W. Leverett, R.G.G. Cartel, S.O. Hobbs, J.M. Newcomer, A.H. Reiner, B.R. Schatz, and W.A. Wuli', '~An Overview of the Production Quality Compiler-Compiler Project," Computer la(S)(hug., 1980).
• 6: L.J. Hafer and A.C. Parker, '~ Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic," IEEE Trans. Computer-Aided De.sign CA.D-2(1)pp. 4-18 (Jan. 1983).
• 7: Michael C. McFarland S.J., Computer-aided partitioning of behavioral hardware descriptions, Proceedings of the 20th conference on Design automation, p.472-478, June 27-29, 1983, Miami Beach, Florida, United States
• 8: S.C. Johnson, 'Hierarchical Clustering Schemes," PsychometTika 32 pp. 241-254 (1967).
• 9: MOS Technology, Inc., MCS6500 Microcomputer Family Hardware Manual. ff~n. 1976.
• 10: J.A. Fisher, 'Trace Scheduling: A Technique for Global Microcode Compaction," 1EEE Trans. Computer8 0-30(7) pp. 478-490 (July 1981).

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.1 Project and People Management
          Subjects: Systems analysis and design

Additional Classification:
  C. Computer Systems Organization

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

  J. Computer Applications

General Terms:
Algorithms, Design, Measurement, Performance, Theory

Keywords:
automatic design, behavioral partioning, synthesis