The formal language SystemC^FL is the formalization of SystemC. The language semantics of SystemC^FL was formally defined in a standard structured operational semantics (SOS) style. In this paper, we first provide an overview of the current status of the formal language SystemC^FL and show some practical applications of SystemC^FL.Then, we give an outline for the latest developments of SystemC^FL. These developments include extensions of SystemC^FL for modeling mixed-signal systems and formal verification.
|Title of host publication||Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004)|
|Place of Publication||Utrecht|
|Publisher||STW Technology Foundation|
|Publication status||Published - 2004|