The ForSyDe semantics
Tarvo Raudvere, Ingo Sander, Dilian Gurov · 2002
The ForSyDe (Formal System Design) Methodology targets the design of System-on-Chip applications. The design starts with a system model, that is based on a synchronous computational model. Processes are constructed by means of formally defined process constructors in order to allow the formal refinement of the system model by the application of design transformations. Each process constructor has also a hardware and software semantics, which is used for the translation of the refined model into hardware and software. In this paper we give an overview of the operational semantics of the ForSyDe system model, which serve as a base for refinement and verification in our methodology. 1