The Specc Methodology

As we explained in Chapter 2, a methodology is a set of models and transformations that refine an initial, functional system specification into a detailed implementation description ready for manufacturing. The SpecC design methodology is based on four well-defined models, namely, a specification model, an architecture model, a communication model, and finally, an implementation model. In the following sections, we will give a detailed description of each model and of the refinement tasks leading from a functional specification model all the way to a cycle-accurate implementation model in SpecC.