IP-centric methodology and specification language: system level design of embedded systems
Daniel D. Gajski, Rainer Dömer, Jianwen Zhu · 1998
In this paper, we demonstrate the application of the specify-explore-refine (SER) paradigm for an IP-centric codesign of embedded systems. We describe the necessary design tasks required to map an abstract executable speci fication of the system to the architectural implementation model. We also describe the final and intermediate models generated as a result of these design tasks. The executable specification and its refinements should support easy in sertion and reuse of IPs. Although several languages are currently used for system design, none of them completely meets the unique require ments of system modelling with support for IP reuse. This paper discusses the requirements and objectives for system languages and describes a C-based language called SpecC, which precisely covers these requirements in an orthogonal manner. Finally, we describe the design environment which is based on our codesign methodology.