Petri net based interface analysis for fast IP-core integration
Julio A. de Oliveira Filho, Manoel Eusébio de Lima, Paulo Romero Martins Maciel · International Conference on Formal Methods and Models for Co-Design · 2003
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.