Paper Info
Title
Petri Net Based Interface Analysis for Fast IP-Core Integration
Abstract
An interface process generation methodology, based onPetri Nets, is described for fast integrating point-topointcommunicating modules. Formal basis of thismethodology ease behavioral property-checking andconsistent execution of the generated interface process.The exposed technique allows fast incorporation ofthird-party cores into SoPC systems design whereintegration task is often a barrier for reusability.
Year
DOI
Venue
2003
10.1109/MEMCOD.2003.1210084
MEMOCODE
Keywords
Field
DocType
formal specification,system on chip,concurrent design,petri nets,process design,informatics,hardware,petri net,software systems
System on a chip,Petri net,Computer science,Systems design,Real-time computing,Software system,Formal specification,Process design,Time to market,Reusability,Embedded system
Conference
ISBN
Citations 
PageRank 
0-7695-1923-7
0
0.34
References 
Authors
10
3
Name
Order
Citations
PageRank
Julio A. de Oliveira Filho100.34
Manoel Eusebio de Lima2298.12
Paulo Romero Martins Maciel336359.24