SystemCFLtlm : Motivation and Development.

This paper introduces an algebraic theory SystemC^픽핃 tlm that can be used to specify and analyse the behaviour of SystemC designs. This theory/language is the successor of the SystemC^픽핃 language. It extends SystemC^픽핃 with the possibility 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^픽핃_tim by means of a TLM example. [ABSTRACT FROM AUTHOR]