{"status":"public","editor":[{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"},{"first_name":"Wolfgang","last_name":"Rosenstiel","full_name":"Rosenstiel, Wolfgang"}],"date_created":"2022-12-15T11:30:32Z","abstract":[{"lang":"eng","text":"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."}],"user_id":"5786","page":"97 - 126","title":"An ASM Based SystemC Simulation Semantics","department":[{"_id":"672"}],"publication":"SystemC - Methodologies and Applications","date_updated":"2022-12-15T11:43:33Z","publisher":"Kluwer","type":"book_chapter","_id":"34446","language":[{"iso":"eng"}],"doi":"10.1007/0-306-48735-7_4","publication_identifier":{"isbn":["978-0-306-48735-4"]},"year":"2003","author":[{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"},{"last_name":"Rosenstiel","full_name":"Rosenstiel, Wolfgang","first_name":"Wolfgang"}],"place":"Dordrecht","citation":{"ieee":"W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,” in <i>SystemC - Methodologies and Applications</i>, W. Müller, J. Ruf, and W. Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126.","bibtex":"@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>}, 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} }","apa":"Müller, W., Ruf, J., &#38; Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, &#38; W. Rosenstiel (Eds.), <i>SystemC - Methodologies and Applications</i> (pp. 97–126). Kluwer. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>","mla":"Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>.","short":"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.","ama":"Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics. In: Müller W, Ruf J, Rosenstiel W, eds. <i>SystemC - Methodologies and Applications</i>. Kluwer; 2003:97-126. doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>","chicago":"Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>."}}