---
_id: '34446'
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.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
- first_name: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
citation:
  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>'
  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>
  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} }'
  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>.'
  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.'
  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.'
date_created: 2022-12-15T11:30:32Z
date_updated: 2022-12-15T11:43:33Z
department:
- _id: '672'
doi: 10.1007/0-306-48735-7_4
editor:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
- first_name: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
language:
- iso: eng
page: 97 - 126
place: Dordrecht
publication: SystemC - Methodologies and Applications
publication_identifier:
  isbn:
  - 978-0-306-48735-4
publisher: Kluwer
status: public
title: An ASM Based SystemC Simulation Semantics
type: book_chapter
user_id: '5786'
year: '2003'
...