Abstract—In this paper, we introduce SystemC tlm FL, an algebraic theory based on classical process algebras “Algebra of Communicating Processes (ACP)” and “A Timed Process Algebra for Specifying Real-Time Systems (ATP)” that can be used to specify and analyze the behavior of SystemC designs. This language is the successor of the SystemC FL language. The SystemC tlm FL language extends SystemC FL with the possibility to define process term instantiations and for the use of SystemC positional connections/named connection and Transaction Level Modeling (TLM). We illustrate the practical use of SystemC tlm FL by means of several examples (including a TLM example).
Index Terms—SystemC, formal semantics, SystemC FL, SystemC tlm FL, process algebras, formal specification and analysis, transaction level modeling
Ka Lok Man is with Solari, Hong Kong,
M. Mercaldi is with M.O.S.T., Turin, Italy
Cite: K. L. Man and M. Mercaldi, "SystemCtlm FL: the Successor of SystemCFL," International Journal of Computer Theory and Engineering vol. 1, no. 4, pp. 434-440, 2009.