Petri nets framework for analyzing the communication behavior of TLM modules

Author

Bennour, Imed

Author_Institution

Laboratoire of electronic and microelectronic, Faculty of sciences at Monastir, Ecole nationale d´´ingénieurs de Sousse

fYear

2012

fDate

16-18 May 2012

Firstpage

1

Lastpage

4

Abstract

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.

Keywords

Petri nets; electronic engineering computing; formal specification; system-on-chip; transaction processing; CPN; Petri net models; Petri nets framework; SoC; TLM module communication; TLM modules; colored Petri net tool; communication behavior; error-prone process; formal models; labor-intensive process; simulation transaction level model; third party blocs; time-consuming process; visible models; Biological system modeling; Complexity theory; Computational modeling; Data models; Standards; Time domain analysis; Time varying systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 2012 7th International Conference on

Conference_Location

Gammarth

Print_ISBN

978-1-4673-1926-3

Type

conf

DOI

10.1109/DTIS.2012.6232987

Filename

6232987