An ASM based systemC simulation semantics

Authors:
Wolfgang Müller;Jürgen Ruf;Wolfgang Rosenstiel
Affiliations:
Paderborn University, C-LAB;Tübingen University, Department of Computer Engineering;Tübingen University, Department of Computer Engineering
Venue:
SystemC
Year:
2003

Citing 0
Cited 6

CoreASM: An Extensible ASM Execution Engine

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Model checking SystemC designs using timed automata

CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process

TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
An executable semantics of the systemc UML profile

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Formal Analysis of SystemC Designs in Process Algebra

Fundamenta Informaticae
CoreASM: An Extensible ASM Execution Engine

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05

Quantified Score

Hi-index	0.00

Visualization

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 a precise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages.