tlm : Motivation and Development

This paper introduces an algebraic theory SystemC FL tlm that can be used to specify and analyse the behaviour of SystemC designs. This theory/language is the successor of the SystemC FL language. It extends SystemC FL with the possibil- ity to define process term instantiations and the use of SystemC positional connections/named connection and Transaction Level Modelling (TLM). We illustrate the practical use of SystemC FL

[1]  Gerardo Schneider,et al.  Towards an Operational Semantics of Verilog , 1998 .

[2]  K.L. Man.  SystemC/sup FL/: formalization of SystemC , 2004, Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521).

[3]  Gerardo Schneider,et al.  Towards a Formal Semantics of Verilog Using Duration Calculus , 1998, FTRTFT.

[4]  Ka Lok Man.  Formal Communication Semantics of SystemCFL , 2005, DSD.

[5]  A. Gawanmeh,et al.  An Executable Operational Semantics for SystemC using Abstract State Machines , 2004 .

[6]  Jonathan P. Bowen.  Animating the Semantics of VERILOG using Prolog , 2001 .

[7]  Ka Lok Man,et al.  SC2SCFL: Automated SystemC to SystemCFL Translation , 2007, SAMOS.

[8]  Ashraf Salem.  Formal semantics of synchronous SystemC , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[9]  Oscar Castillo,et al.  Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, IMECS 2007, March 21-23, 2007, Hong Kong, China , 2007, IMECS.

[10]  Carlos Delgado Kloos,et al.  Formal Semantics for VHDL , 1995 .

[11]  K. L. Man,et al.  Verifying SystemC^FL designs using the SMV model checker , 2005 .

[12]  Luca Aceto,et al.  Structural Operational Semantics , 1999, Handbook of Process Algebra.

[13]  Jifeng He,et al.  An Operational Semantics of an Event-Driven System-Level Simulator , 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

[14]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[15]  M. Schellekens,et al.  SystemC FL : An Infrastructure for a TLM Formal Verification Proposal ( with an overview on a tool set for practical formal verification of SystemC descriptions ) , 2006 .

[16]  Sérgio Vale Aguiar Campos,et al.  Symbolic Model Checking , 1993, CAV.

[17]  Florence Maraninchi,et al.  A SystemC/TLM Semantics in Promelaand Its Possible Applications , 2007, SPIN.

[18]  Joseph Sifakis,et al.  The Algebra of Timed Processes, ATP: Theory and Application , 1994, Inf. Comput..

[19]  Wolfgang Rosenstiel,et al.  The simulation semantics of SystemC , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[20]  Ingolf H. Krüger,et al.  Compositional Reactive Semantics of SystemC and Verification with RuleBase , 2007 .

[21]  Chris Verhoef,et al.  A General Conservative Extension Theorem in Process Algebra , 1994, PROCOMET.

[22]  K. L. Man,et al.  SC2SCFL: An Overview , 2007 .