SystemC/sup FL/: formalization of SystemC

  • K. L. Man
  • Published 2004 in
    Proceedings of the 12th IEEE Mediterranean…

Abstract

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. 

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics