Observations on comparing digital systems synthesis techniques

ABSTRACT

Previously, much research effort has been aimed at developing automatic design methods for the higher levels of system design. This work has centered around developing methods of representation, constraint specification, and automatic design. Specifically, methods of representing systems at the behavioral and functional block levels were developed and implemented. Around these representations, automatic design methods have been developed. This paper describes the previous research efforts, highlights their results, and makes observations on the comparison of these design methods.

REFERENCES

• 1: M.R. Barbacci. Instruction Set, Processor Specifications (ISPS): The Notation and its Applications. IEEE Transactions on Computers C-30(1), January, 1981.
• 2: D.A. Gatenby. Digital Design From an Abstract Algorithmic Representation: Design and Implementation of A FRAMEWORK for INTERACTIVE DESIGN. Master's thesis, Carnegie-Mellon University, October, 1981.
• 3: Charles Y. Hitchcock, III , Donald E. Thomas, A method of automatic data path synthesis, Proceedings of the 20th conference on Design automation, p.484-489, June 27-29, 1983, Miami Beach, Florida, United States
• 4: T.J. Kowalski and D.E. Thomas. The VLSI Design Automation Assistant: An IBM System/370 Design. IEEE De eign ~ Test of Computer8:60-69, February, 1984.
• 5: T.J. Kowalski. The VLSI Design Automation Assistant: A Knowledge-Based Expert System. PhD thesis, Carnegie-Mellon University, April, 1984.
• 6: M.O. McFarland. The Value Trace: A Data Base for Automated Digital Design. Master's thesis, Carnegie-Mellon University, December, 1978.
• 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: E.A. Snow. Automation of Module Set Independent Register-Transfer Level Design. PhD thesis, Carnegie-Mellon University, April, 1978.
• 9: D.E. Thomas, C.Y. Hitchcock III, T.J. Kowalski, J.V. Rajan, R.A. Walker. Automatic Data path Synthesis. IEEE Computer Society's Computer Magazine :59-70, December, 1983.
• 10: Chia-Jeng Tseng, Automated synthesis of data paths in digital systems (design space), 1984
• 11: 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

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

General Terms:
Design, Theory