Petri net based interface analysis for fast IP-core integration

Author

de Oliveira Filho, Julio A. ; de Lima, Manoel E. ; Maciel, Paulo Romero

Author_Institution

Centre for Informatics, Fed. Univ. of Pernambuco, Brazil

fYear

2003

Firstpage

34

Lastpage

42

Abstract

An interface process generation methodology, based on Petri nets, is described for fast integrating point-to-point communicating modules. Formal basis of this methodology ease behavioral property-checking and consistent execution of the generated interface process. The exposed technique allows fast incorporation of third-party cores into SoPC systems design where integration task is often a barrier for reusability.

Keywords

Petri nets; application program interfaces; formal specification; system-on-chip; Petri net; SoPC system design; behavioral property-checking an; concurrent design; consistent interface process execution; fast IP-core integration; hardware-software system; integration task; interface analysis; interface process generation; point-to-point communicating module; third-party core; Assembly systems; Consumer electronics; Delay; Digital systems; Hardware; Informatics; Petri nets; Process design; Software systems; Time to market;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on

Conference_Location

Mont Saint Michel, France

Print_ISBN

0-7695-1923-7

Type

conf

DOI

10.1109/MEMCOD.2003.1210084

Filename

1210084