Petri Net Based Interface Analysis for Fast IP-Core Integration

  • Authors:
  • Julio A. de Oliveira Filho;Manoel E. de Lima;Paulo Romero Maciel

  • Affiliations:
  • -;-;-

  • Venue:
  • MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

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.