Title :
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
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;
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
DOI :
10.1109/MEMCOD.2003.1210084
