A Petri net based method for functional and interconnect units estimation
A.P. Machado, Paulo Romero Martins Maciel, Edna N. S. Barros · 2005
This work presents a structural methodology for computing the number of functional and interconnects units in hardware/software co-design context considering timing constraints. The proposed method is based on one intermediate model - dataflow net, specified by our team that takes into account timing precedence and data-dependency. The considered hardware/software co-design framework uses Petri nets as common formalism for performing quantitative and qualitative analysis