doi: 10.7763/IJCTE.2009.V1.70
SystemC<sub>tlm</sub> <sup>FL</sup>: the Successor of SystemC<sup>FL</sup>
- 1Solari, Hong Kong
- 2M.O.S.T., Turin, Italy
Abstract
In this paper, we introduce SystemC <sub>tlm</sub> <sup>FL</sup>, 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 <sup>FL</sup> language. The SystemC <sub>tlm</sub> <sup>FL</sup> language extends SystemC <sup>FL</sup> 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 <sub>tlm</sub> <sup>FL</sup> by means of several examples (including a TLM example).
Keywords
- SystemC
- formal semantics
- SystemC <sup>FL</sup>
- SystemC <sub>tlm</sub> <sup>FL</sup>
- process algebras
- formal specification and analysis
- transaction level modeling
How to Cite
K. L. Man and M. Mercaldi, "SystemC<sub>tlm</sub> <sup>FL</sup>: the Successor of SystemC<sup>FL</sup>," International Journal of Computer Theory and Engineering, vol. 1, no. 4, pp. 434-440, 2009. https://doi.org/10.7763/IJCTE.2009.V1.70
Copyright & License
Copyright © 2009 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).