Extensions of SystemC^FL for mixed-signal systems and formal verification

K.L. Man

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

54 Downloads (Pure)


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 languageEnglish
Title of host publicationProceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004)
Place of PublicationUtrecht
PublisherSTW Technology Foundation
ISBN (Print)90-73461-41-3
Publication statusPublished - 2004


Dive into the research topics of 'Extensions of SystemC^FL for mixed-signal systems and formal verification'. Together they form a unique fingerprint.

Cite this