The simulation semantics of SystemC

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2001, Pages 64-70

  Mueller, Wolfgang ^a   Ruf, Juergen ^b   Hoffmann, Dirk ^b   Gerlach, Joachim ^b   Kropf, Thomas ^b   Rosenstiehl, Wolfgang ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED ABSTRACT STATE MACHINE; FORMAL SEMANTICS; HIGH LEVEL SPECIFICATION; REFERENCE IMPLEMENTATION; SIMULATION KERNEL; SYSTEMC; VERILOG;

EXHIBITIONS; SEMANTICS;

INTEROPERABILITY;

EID: 84893692069     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2001.915002     Document Type: Conference Paper

References (13)

1. E. Börger. Annotated Bibliography on Evolving Algebras. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.
2. E. Börger, U. Glässer, and W. Müller. 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.
3. E. Börger 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.
4. C. Delgado Kloos and P. T. Breuer. Formal Semantics For VHDL. Kluwer, Boston/London/Dordrecht, 1995.
5. U. Glaesser, R. Gptzhein, 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.
6. Y. Gurevich. Evolving algebra 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, Oxford, 1994.
7. S. Olcoz. A Formal Model of VHDL Using Colored Petri-Nets. In C. Delgado Kloos and P. T. Breuer, editors, Formal Semantics For VHDL. Kluwer, Boston, 1995.
8. Open SystemC Initiative, Synopsys Inc. CoWare Inc, Frontier Inc. SYSTEM C Version 0.9 User's Guide, 1999.
9. Open SystemC Initiative, Synopsys Inc, CoWare Inc, Frontier Inc. SYSTEM C Version 1.0 User's Guide, 2000.
10. R. Reetz and T. Kropf. Correct system level design with VHDL. In C. Delgado Kloos and P. T. Breuer, editors, Formal Semantics For VHDL. Kluwer, Boston, 1995.
11. H. Sasaki. A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstract State Machine. In Design, Automation and Test in Europe, 1999.
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.
13. C. Wallace. The Semantics of the C++ Programming Language. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1995.