1995 high level synthesis design repository

ABSTRACT

Abstract: In this paper we briefly describe a set of designs that earn serve as examples for high level synthesis (HLS) systems. The designs vary in complexity from simple behavioral finite state machines to more complex designs such as microprocessors and floating point units. Most of the designs are described in the VHDL language at the behavioral level. We divide the designs into two categories. The first category contains designs that have documentation on the specifications of the designs along with the strategy used to test the individual design models. The second category contains examples used in many HLS papers, but lack comprehensive documentation and/or test vectors.

REFERENCES

• BaGa93: S. Bakshi and D. D. Gajski, ~Design Space Exploration for The Beamformer System," Technical Report 93-34, University of California, Irvine, 1993.
• BhBD93: S. Bhattacharya, F. Brglez and S. Dey, ~Transformations and Resynthesis for Testability of RT-Level Control-Data Path Specifications," IEEE Transactions on VLSI Systems, September 1993.
• CaSv93: Lars Svensson , Francky Catthoor, Application-Driven Architecture Synthesis, Kluwer Academic Publishers, Norwell, MA, 1993
• DuRa92: N. D. Dutt and C. Ramchandran, ~Benchmarks for the 1992 High Level Synthesis Workshop," Technical Report 92-107, University of California, Irvine.
• GVNG94: Daniel D. Gajski , Frank Vahid , Sanjiv Narayan , Jie Gong, Specification and design of embedded systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• HePa90: David A. Patterson , John L. Hennessy, Computer architecture: a quantitative approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1990
• KoND94: David J. Kolson , Alexandru Nicolau , Nikil Dutt, Integrating program transformations in the memory-based synthesis of image and video algorithms, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.27-30, November 06-10, 1994, San Jose, California, United States
• LaEr94: MiloTs Dragutin Ercegovac , Tomas Lang, Division and Square Root: Digit-Recurrence Algorithms and Implementations, Kluwer Academic Publishers, Norwell, MA, 1994
• Nava93: Zainalabedin Navabi, VHDL: Analysis and Modeling of Digital Systems, McGraw-Hill, Inc., New York, NY, 1992
• PaDu95: P. R. Panda and N. D. Dutt, ~1995 High Level Synthesis Design Repository," Technical Report 95-04, University of California, Irvine, 1995.
• PaMu93: F. C. Park and A. P. Murray, ~Computational and Modeling Aspects of the Products-of- Exponentials Formula for Robot Kinematics," IEEE Transactions on Automatic Control, 1993.
• PTVF92: William H. Press , Saul A. Teukolsky , William T. Vetterling , Brian P. Flannery, Numerical recipes in C (2nd ed.): the art of scientific computing, Cambridge University Press, New York, NY, 1992
• RTPC85: IBM RT PC Hardware Technical Reference (C), 1985.
• ThDu94: A. B. Thordarson and N. D. Dutt, ~A VI-IDL Model and Testbench for the IBM RT- PC Risc Processor," CADLAB document, University of California, Irvine, 1994.
• Ugur95: H. F. Ugurdag, Personal Communication, 1995.
• VaGN94: F. Vahid, J. Gong and S. Narayan, ~The SpecCharts/SpecSyn User's Manual," University of California, Irvine, 1994.
• VaNG91: F. Vahid, S. Narayan and D. D. Gajski, ~SpecCharts: A language for system level synthesis," Proceedings of the International Symposium on Computer Hardware Description Languages and their Applications, 1991.
• VeJV86: R.N.J. Veldhuis, A.J.E.M. Janssen and L. B. Vries, ~Adaptive Interpolation of Discrete- Time Signals That Can Be Modeled as Autoregressive Processes," IEEE Trans. Acoustics, Speech and Signal Processing, Vol. 34, No. 2, 1986.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: Systems specification methodology

Additional Classification:
  B. Hardware
  B.6 LOGIC DESIGN
      B.6.3 Design Aids
          Subjects: Hardware description languages
          Nouns: VHDL

General Terms:
Design, Documentation, Languages, Measurement, Verification

Keywords:
1995 high level synthesis design repository, VHDL language, behavioral finite state machines, behavioral level, computational complexity, finite state machines, floating point units, hardware description languages, high level synthesis, microprocessor chips, microprocessors