An ASM Based SystemC Simulation Semantics
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
Download
No fulltext has been uploaded.
Book Chapter
| English
Author
Müller, WolfgangLibreCat;
Ruf, Jürgen;
Rosenstiel, Wolfgang
Book Editor
Müller, Wolfgang;
Ruf, Jürgen;
Rosenstiel, Wolfgang
Abstract
We present a formal definition of the event based SystemC V2.0 simulation semantics by means of distributed Abstract State Machines (ASMs). Our definition provides a rigorous and concise, but yet readable, definition of the SystemC specific operations and their interaction with the simulation scheduler that covers channel updates, notify, notify_delayed, wait, and next_trigger operations. We present the semantics in the form of rules by means of distributed ASMs reflecting the lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics introduced is defined to complement the language reference manual with aprecise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages.
Publishing Year
Book Title
SystemC - Methodologies and Applications
Page
97 - 126
ISBN
LibreCat-ID
Cite this
Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics. In: Müller W, Ruf J, Rosenstiel W, eds. SystemC - Methodologies and Applications. Kluwer; 2003:97-126. doi:10.1007/0-306-48735-7_4
Müller, W., Ruf, J., & Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, & W. Rosenstiel (Eds.), SystemC - Methodologies and Applications (pp. 97–126). Kluwer. https://doi.org/10.1007/0-306-48735-7_4
@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={10.1007/0-306-48735-7_4}, booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }
Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In SystemC - Methodologies and Applications, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. https://doi.org/10.1007/0-306-48735-7_4.
W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,” in SystemC - Methodologies and Applications, W. Müller, J. Ruf, and W. Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126.
Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” SystemC - Methodologies and Applications, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi:10.1007/0-306-48735-7_4.
Google Scholar
ISBN Search