A Petri net based method for storage units estimation
A.P. Machado, Paulo Romero Martins Maciel, A.G.S. Filho · 2004
This work presents a structural methodology for computing the number of storage units (registers) in hardware/software co-design context considering timing constraints. The proposed method is based on one intermediate model-data flow 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.