Designer controlled behavioral synthesis

ABSTRACT

This paper describes features of EXEL, a graphic language that gives the designer control over the behavioral synthesis process. Control is achieved by allowing the designer to partially specify the structural design into which the description is going to be compiled, or by binding desired variables and operators to particular components or connections, and binding desired operations to particular states of the final design. EXEL's compiler runs on SUN-3 workstations and is written in C and SUNVIEW.

REFERENCES

• Arms89: James R. Armstrong, Chip-level modeling with VHDL, Prentice-Hall, Inc., Upper Saddle River, NJ, 1988
• Barb81: M. Barbacci, "Instruction Set Processor Specification," 1EEE Trans. Compu~, Jan 1981.
• BoKa87: Borriello a~rtd Katz, ~Synthesis and Optimization of Interface Transducer Logic,M ICCAD-87.
• Camp85: Raúl Camposano, Synthesis techniques for digital systems design, Proceedings of the 22nd ACM/IEEE conference on Design automation, p.475-481, June 1985, Las Vegas, Nevada, United States [doi>10.1145/317825.317931]
• DBRI88: Paul J. Drongowski , Jwahar R. Bami , Ranganathan Ramaswamy , Sundar Iyengar , Tsu-Hua Wang, A graphical hardware design language, Proceedings of the 25th ACM/IEEE conference on Design automation, p.108-114, June 12-15, 1988, Atlantic City, New Jersey, United States
• DuGa88: Dutt and Gajski, "EXEL: An Input Language for Extensible Register Transfer Compilation," Tech Rep #88-11, UC Irvine, April 1988.
• Dutt88: N. Dutt, "GENUS: A Generic Component Library for High Level Synthesis," Tech Rep #88-22, U C Irvine~ September 1988.
• Dutt89: N. D. Dutt, A framework for behavioral synthesis from partial design structures, University of Illinois, Department of Computer Science, Urbana, IL, 1989
• Knap88: D. Knapp, "Synthesis from Partial Structure," 1988 IFIP Conf. Comp. Design Methodologies.
• LiGa88a: Y.L. Lin and D.D. Gajski, "LES: A Layout Expert System," IEEE Trans. CAD, Aug 1988.
• McFa78: M.C. MacFarland, "VT: A Data Base for Automated Digital Design,M CMU Tech Rep DRC- 01-04-80, Dec 1978.
• NeTh86: J. A. Nestor and D. E. Thomas, "Behavioral Synthesis with Interfaces," ICCAD-86.
• Tric87: Howard Trickey, "A High-Level Hardware Compiler" IEEE Trans. CAD, March 1987.
• VaGa88: Nels Vander Zanden , Daniel Gajski, MILO: a microarchitecture and logic optimizer, Proceedings of the 25th ACM/IEEE conference on Design automation, p.403-408, June 12-15, 1988, Atlantic City, New Jersey, United States
• VHDL87: IEEE Standard VHDL Language Reference Manual, IEEE, 1987.

INDEX TERMS

Primary Classification:
  B. Hardware
  B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION
      B.5.2 Design Aids
          Subjects: Automatic synthesis

Additional Classification:
  B. Hardware
  B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION
      B.5.2 Design Aids
          Subjects: Hardware description languages

  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: User interfaces

General Terms:
Design, Languages