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.
- J. Buck et al. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Journal of Computer Simulation, 4, 1994.Google Scholar
- P. Coste et al. Multilanguage design of heterogeneous systems. In CODES, 1999. Google ScholarDigital Library
- D. D. Gajski and R. Kuhn. Guest editors introduction: New VLSI tools. IEEE Computer, pages 11--14, 1983.Google ScholarDigital Library
- P. Gerin et al. Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures. In ASPDAC, 2001. Google ScholarDigital Library
- A. Gerstlauer et al. System Design: A Practical Guide with SpecC. Kluwer Academic Publishers, 2001. Google ScholarDigital Library
- A. Gerstlauer and D. D. Gajski. System-level abstraction semantics. Technical Report CECS-02-17, CECS, UC Irvine, 2002.Google ScholarDigital Library
- T. Grötker et al. System Design with SystemC. Kluwer Academic Publishers, 2002. Google ScholarDigital Library
- W. Hardt et al. The PARADISE design environment. In ESC, 1999.Google Scholar
- A. Jantsch et al. The Rugby model: A conceptual frame for the study of modelling, analysis and synthesis concepts of electronic systems. In DATE, 1999. Google ScholarDigital Library
- D. Lyonnard et al. Automatic generation of application-specific architectures for heterogeneous multiprocessor system-on-chip. In DAC, 2001. Google ScholarDigital Library
- Open SystemC Initiative. http://www.systemc.org.Google Scholar
- R. Siegmund and D. Müller. SystemCSV: An extension of SystemC for mixed multi-level communication modeling and interface-based system design. In DATE, 2001. Google ScholarDigital Library
- SpecC home page. http://www.cecs.uci.edu/~specc.Google Scholar
- SpecC Technology Open Consortium. http://www.specc.org.Google Scholar
- K. Svarstad et al. A higher level system communication model for object-oriented specification and design of embedded systems. In ASPDAC, 2001. Google ScholarDigital Library
- K. van Rompaey et al. CoWare: A design environment for heterogeneous hardware/software systems. In EURO-DAC, 1996. Google ScholarDigital Library
Index Terms
- System-level abstraction semantics
Recommendations
An assertion-based verification methodology for system-level design
In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The ...
A career in system-level design research
This is a review of Embedded System Design: Modeling, Synthesis and Verification (by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, and Gunar Schirner). The book introduces readers to embedded-systems design methodologies and tools, both those in use ...
A method to abstract RTL IP blocks into C++ code and enable high-level synthesis
DAC '13: Proceedings of the 50th Annual Design Automation ConferenceWe present a method to automatically generate a synthesizable C++ specification from the given RTL design of an IP block, by abstracting away most of its micro-architectural characteristics while preserving its functionality. The goal is twofold: ...
Comments