IP-CENTRIC METHODOLOGY AND DESIGN WITH THE SPECC LANGUAGE System Level Design of Embedded Systems
Daniel D. Gajski, Rainer Dömer, Jianwen Zhu · 1999
. In this paper, we demonstrate the application of the specify-explorerefine (SER) paradigm for an IP-centric codesign of embedded systems. We describe the necessary design tasks required to map an abstract executable specification 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 insertion and reuse of IPs. Although several languages are currently used for system design, none of them completely meets the unique requirements 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. 1. Introduction New technologies allow designers to generate chips wit...