SpecC Methodology for High-Level Modeling
Rainer Dömer, Daniel D. Gajski, Andreas Gerstlauer · 2002
The key for managing the complexity of embedded system design is a well-defined methodology supported by a clearly structured system-level design language. The SpecC methodology described in this paper is based on the SpecC language and consists of a set of well-defined and unambiguous design models and a set of well-defined transformations that refine one model to the next. Given these models and transformations, the generic SpecC methodology can be customized to produce a system design framework that can be easily integrated with a given design flow and environment.