Abstract
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.
| Original language | English |
|---|---|
| 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 |
| Pages | 103-107 |
| ISBN (Print) | 90-73461-41-3 |
| Publication status | Published - 2004 |