Title :
A Petri net based method for storage units estimation
Author :
Machado, Albano P. ; Maciel, Paulo Romero Martins ; Filho, Ahel Guilhermino S
Author_Institution :
Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
Abstract :
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.
Keywords :
Petri nets; data flow analysis; hardware-software codesign; shift registers; Petri net; data dependency; data flow net; hardware-software codesign; qualitative analysis; quantitative analysis; registers; storage units estimation; timing constraints; Consumer electronics; Costs; Hardware; Modems; Performance analysis; Petri nets; Registers; Software performance; Software quality; Timing;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1244547
