Title :
A Petri net based method for functional and interconnect units estimation
Author :
Machado, Albano P. ; Maciel, Paulo Romero Martins ; Barros, Edna
Author_Institution :
Centre de Informdtica, Univ. Fed. de Pernambuco, Recife
Abstract :
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
Keywords :
Petri nets; hardware-software codesign; Petri net based method; data-dependency; dataflow net; hardware-software codesign context; interconnect unit estimation; qualitative analysis; quantitative analysis; timing constraints; timing precedence; Consumer electronics; Costs; Formal specifications; Hardware; Modems; Performance analysis; Petri nets; Space exploration; Time to market; Timing;
Conference_Titel :
Systems, Man and Cybernetics, 2004 IEEE International Conference on
Conference_Location :
The Hague
Print_ISBN :
0-7803-8566-7
DOI :
10.1109/ICSMC.2004.1401321
