A Formal Semantics for a Graphical Model Representation in System Design

This paper describes a formal semantics for a graphical model representation in the hardware/software codesign. The approach to the specification and design of heterogeneous hardware/software systems defines a strict sequence of transformations that begins with an implementation-independent specification on the system level using graphical tools. It leads to an implementation description on the register-transfer level using VHDL or C code.