Article

The simulation semantics of systemC

Authors:

J. Ruf,

W. MuellerAuthors Info & Claims

DATE '01: Proceedings of the conference on Design, automation and test in Europe

Pages 64 - 70

Published: 13 March 2001 Publication History

Get Access

References

[1]

E. Borger. Annotated Bibliography on Evolving Algebras. In E. Borger, editor, Specification and Validation Methods. Oxford University Press, 1994.

Digital Library

Google Scholar

[2]

E. Borger, U. Glasser, and W. Muller. Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines. In C. Delgado Kloos and P. T. Breuer, editors, Formal Semantics for VHDL, pages 107-139. Kluwer, 1995.

Crossref

Google Scholar

[3]

E. Borger and W. Schulte. Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. In L. Brim, J. Gruska, and J. Zlatuska, editors, Mathematical Foundations of Computer Science, MFCS 98, Lecture Notes in Computer Science. Springer, 1998.

Digital Library

Google Scholar

[4]

C. Delgado Kloos and P. T. Breuer. Formal Semantics For VHDL. Kluwer, Boston/London/Dordrecht, 1995.

Digital Library

Google Scholar

[5]

U. Glaesser, R. Gotzhein, and A. Prinz. Towards a new formal SDL semantics based on Abstract State Machines. In R. Dssouli, G. Bochmann, and Y. Lahav, editors, Proceedings of the 9th SDL Forum . Elsevier Science B.V., 1999.

Google Scholar

[6]

Y. Gurevich. Evolving algebra 1993: Lipari guide. In E. Borger, editor, Specification and Validation Methods.Oxford University Press, Oxford, 1994.

Digital Library

Google Scholar

[7]

S. Olcoz. A Formal Model of VHDL Using Colored Petri- Nets. In C. Delgado Kloos and P. T. Breuer, editors, For mal Semantics For VHDL. Kluwer, Boston, 1995.

Google Scholar

[8]

Open SystemC Initiative, Synopsys Inc, CoWare Inc, Frontier Inc. SYSTEM C Version 0.9 User's Guide, 1999.

Google Scholar

[9]

Open SystemC Initiative, Synopsys Inc, CoWare Inc, Frontier Inc. SYSTEM C Version 1.0 User's Guide, 2000.

Google Scholar

[10]

R. Reetz and T. Kropf. Correct system level design with VHDL. In C. Delgado Kloos and P. T. Breuer, editors, For - mal Semantics For VHDL. Kluwer, Boston, 1995.

Google Scholar

[11]

H. Sasaki. A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstract State Machine. In Design, Automation and Test in Europe, 1999.

Digital Library

Google Scholar

[12]

H. Sasaki, K. Mizushima, and T. Sasaki. Semantic Validation of VHDL-AMS by an Abstract State Machine. In IEEE/VIUF International Workshop on Behavioral Modeling and Simulation, 1997.

Google Scholar

[13]

C. Wallace. The Semantics of the C++ Programming Language. In E. Borger, editor, Specification and Validation Methods. Oxford University Press, 1995.

Digital Library

Google Scholar

Cited By

View all

Herber PGlesner S(2013)A HW/SW co-verification framework for SystemCACM Transactions on Embedded Computing Systems10.1145/2435227.243525712:1s(1-23)Online publication date: 29-Mar-2013
https://dl.acm.org/doi/10.1145/2435227.2435257
Razavi NBehjati RSabouri HKhamespanah EShali ASirjani M(2011)SysfierACM Transactions on Embedded Computing Systems10.1145/1880050.188005510:2(1-35)Online publication date: 7-Jan-2011
https://dl.acm.org/doi/10.1145/1880050.1880055
Zhu HYang FHe J(2010)Generating denotational semantics from algebraic semantics for event-driven system-level languageProceedings of the Third international conference on Unifying theories of programming10.5555/1939848.1939863(286-308)Online publication date: 15-Nov-2010
https://dl.acm.org/doi/10.5555/1939848.1939863
Show More Cited By

Index Terms

The simulation semantics of systemC

Recommendations

Formal Communication Semantics of SystemC^FL
DSD '05: Proceedings of the 8th Euromicro Conference on Digital System Design

In this paper, we define a formal communication semantics for SystemCFL that deals with concurrency and interaction. The communication semantics of Systemv C^FL is formally defined in a standard structured operational semantics (SOS) style. The ...
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations

Nested simulations define an interesting hierarchy of semantic preorders and equivalences in which every semantics refines the previous one and it is refined by the following. This nested nature provides a fruitful framework for the study of the formal ...
AADL Simulation and Performance Analysis in SystemC
ICECCS '09: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems

Due to the increasing complexity of embedded systems, new design methodologies have to be adopted, since traditional techniques are no longer efficient. Model-based engineering enables the designer to confront these concerns using the architecture ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DATE '01: Proceedings of the conference on Design, automation and test in Europe

March 2001

756 pages

ISBN:0769509932

Editors:
Wolfgang Nebel
Oldenburg Univ. and OFFIS, Germany
,
Ahmed Jerraya
TIMA, Grenoble, France

Publisher

IEEE Press

Publication History

Published: 13 March 2001

Check for updates

Qualifiers

Article

Conference

DATE01

Sponsor:

EDAA
IFIP WG 10.5
EDAC
SIGDA
IEEE-CS\TTTC
IEEE-CS\DATC
The Russian Academy of Sciences

DATE01: Design, Automation and Test in Europe

Munich, Germany

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
525
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Herber PGlesner S(2013)A HW/SW co-verification framework for SystemCACM Transactions on Embedded Computing Systems10.1145/2435227.243525712:1s(1-23)Online publication date: 29-Mar-2013
https://dl.acm.org/doi/10.1145/2435227.2435257
Razavi NBehjati RSabouri HKhamespanah EShali ASirjani M(2011)SysfierACM Transactions on Embedded Computing Systems10.1145/1880050.188005510:2(1-35)Online publication date: 7-Jan-2011
https://dl.acm.org/doi/10.1145/1880050.1880055
Zhu HYang FHe J(2010)Generating denotational semantics from algebraic semantics for event-driven system-level languageProceedings of the Third international conference on Unifying theories of programming10.5555/1939848.1939863(286-308)Online publication date: 15-Nov-2010
https://dl.acm.org/doi/10.5555/1939848.1939863
Blanc NKroening D(2010)Race analysis for systemc using model checkingACM Transactions on Design Automation of Electronic Systems10.1145/1754405.175440615:3(1-32)Online publication date: 10-Jun-2010
https://dl.acm.org/doi/10.1145/1754405.1754406
Cansell DMéry DProch C(2009)System-on-chip design by proof-based refinementInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3220918.322122311:3(217-238)Online publication date: 1-Jul-2009
https://dl.acm.org/doi/10.5555/3220918.3221223
Zhu HHe JPeng XJin N(2008)Denotational approach to an event-driven system-level languageProceedings of the 2nd international conference on Unifying theories of programming10.5555/1893459.1893474(258-278)Online publication date: 8-Sep-2008
https://dl.acm.org/doi/10.5555/1893459.1893474
Patel HShukla S(2008)Model-driven validation of SystemC designsEURASIP Journal on Embedded Systems10.1155/2008/5194742008(1-14)Online publication date: 1-Jan-2008
https://dl.acm.org/doi/10.1155/2008/519474
Traulsen CCornet JMoy MMaraninchi F(2007)A systemC/TLM semantics in PROMELA and its possible applicationsProceedings of the 14th international SPIN conference on Model checking software10.5555/1770532.1770552(204-222)Online publication date: 1-Jul-2007
https://dl.acm.org/doi/10.5555/1770532.1770552
Vardi MLevitan S(2007)Formal techniques for SystemC verificationProceedings of the 44th annual Design Automation Conference10.1145/1278480.1278527(188-192)Online publication date: 4-Jun-2007
https://dl.acm.org/doi/10.1145/1278480.1278527
Patel HShukla SLevitan S(2007)Model-driven validation of SystemC designsProceedings of the 44th annual Design Automation Conference10.1145/1278480.1278489(29-34)Online publication date: 4-Jun-2007
https://dl.acm.org/doi/10.1145/1278480.1278489
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Formal Communication Semantics of SystemC^FL

Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations

AADL Simulation and Performance Analysis in SystemC