Petri net based interface analysis for fast IP-core integration

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...

Full description

Saved in:
Bibliographic Details
Main Authors: de Oliveira Filho, J.A., de Lima, M.E., Maciel, P.R.
Format: Conference Proceeding
Language:English
Subjects:
Assembly systems
Consumer electronics
Delay
Digital systems
Hardware
Informatics
Petri nets
Process design
Software systems
Time to market
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/MEMCOD.2003.1210084