TLM-2 base protocol analysis for model-driven design

The SoC design cost is not only dependent on implementation and manufacturing techniques, but also on the used methodologies and design tools. Transaction level modelling (TLM) is among the most promising electronic system level (ESL) design methodology. Recently, TLM-2 library places de facto SystemC as a standard when writing transaction level (TL) models. A TLM-2 based models and especially those using approximately-timed time coding style are very challenging to develop. In this paper, we expose techniques to write well-structured and modular TL models. These techniques bring up more elaborated semantics useful to automate model generation in the context of model-driven design methodology.