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

K.L. Man

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

36 Downloads (Pure)

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

Fingerprint

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