SystemC/sup FL/: formalization of SystemC
Ka Lok Man · 2004
Based on process algebra, the formal language SystemC/sup FL/ has been developed that is the formalization of SystemC. The language semantics of System C/sup FL/ is formally defined in a standard structured operational semantics (SOS) style.