System-level abstraction semantics

ABSTRACT

Raising the level of abstraction is widely seen as the solution for closing the productivity gap in system design. They key for the success of this approach, however, are well-defined abstraction levels and models. In this paper, we present such system level semantics to cover the system design process. We define properties and features of each model. Formalization of the flow enables design automation for synthesis and verification to achieve the required productivity gains. Through customization, the semantics allow creation of specific design methodologies. We applied the concepts to system languages SystemC and SpecC. Using the example of a JPEG encoder, we will demonstrate the feasibility and effectiveness of the approach.

REFERENCES

• 1: J. Buck et al. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Journal of Computer Simulation, 4, 1994.
• 2: P. Coste , F. Hessel , Ph. Le Marrec , Z. Sugar , M. Romdhani , R. Suescun , N. Zergainoh , A. A. Jarraya, Multilanguage design of heterogeneous systems, Proceedings of the seventh international workshop on Hardware/software codesign, p.54-58, March 1999, Rome, Italy [doi>10.1145/301177.301206]
• 3: D. D. Gajski and R. Kuhn. Guest editors introduction: New VLSI tools. IEEE Computer, pages 11--14, 1983.
• 4: Patrice Gerin , Sungjoo Yoo , Gabriela Nicolescu , Ahmed A. Jerraya, Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures, Proceedings of the 2001 conference on Asia South Pacific design automation, p.63-68, January 2001, Yokohama, Japan [doi>10.1145/370155.370276]
• 5: Daniel D. Gajski , Rainer Domer , Junyu Peng , Andreas Gerstlauer, System Design: A Practical Guide with Specc, Kluwer Academic Publishers, Norwell, MA, 2001
• 6: A. Gerstlauer and D. D. Gajski. System-level abstraction semantics. Technical Report CECS-02-17, CECS, UC Irvine, 2002.
• 7: Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
• 8: W. Hardt et al. The PARADISE design environment. In ESC, 1999.
• 9: Axel Jantsch , Shashi Kumar , Ahmed Hemani, The rugby model: a conceptual frame for the study of modelling, analysis and synthesis concepts of electronic systems, Proceedings of the conference on Design, automation and test in Europe, p.54-es, January 1999, Munich, Germany [doi>10.1145/307418.307501]
• 10: Damien Lyonnard , Sungjoo Yoo , Amer Baghdadi , Ahmed A. Jerraya, Automatic generation of application-specific architectures for heterogeneous multiprocessor system-on-chip, Proceedings of the 38th conference on Design automation, p.518-523, June 2001, Las Vegas, Nevada, United States [doi>10.1145/378239.379015]
• 11: Open SystemC Initiative. http://www.systemc.org.
• 12: R. Siegmund , D. Müller, SystemCSV - an extension of SystemC for mixed multi-level communication modeling and interface-based system design, Proceedings of the conference on Design, automation and test in Europe, p.26-33, March 2001, Munich, Germany
• 13: SpecC home page. http://www.cecs.uci.edu/~specc.
• 14: SpecC Technology Open Consortium. http://www.specc.org.
• 15: Kjetil Svarstad , Nezih Ben-Fredj , Gabriela Nicolescu , Ahmed A. Jerraya, A higher level system communication model for object-oriented specification and design of embedded systems, Proceedings of the 2001 conference on Asia South Pacific design automation, p.69-77, January 2001, Yokohama, Japan [doi>10.1145/370155.370279]
• 16: K. Van Rompaey , I. Bolsens , H. De Man , D. Verkest, CoWare—a design environment for heterogenous hardware/software systems, Proceedings of the conference on European design automation, p.252-257, September 1996, Geneva, Switzerland

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.4 Model Validation and Analysis

Additional Classification:
  B. Hardware
  B.m MISCELLANEOUS
      Subjects: Design management

General Terms:
Design, Theory

Keywords:
abstraction levels, design semantics, methodology, modeling, system-level design