Petri nets framework for analyzing the communication behavior of TLM modules

Assembling a SoC using third party blocs is still an error-prone, labor-intensive and time-consuming process, due to a misunderstanding of the their communication behavior. Part of the solution consists of providing, conjointly with the simulation transaction level model (TLM), visible and formal models that help in understanding and exploring its implicit communication behavior. For this purpose we have proposed a set of Petri net models to descript a TLM module's communication. All models have been developed and validated using the colored Petri net tool CPN.