DocumentCode
428869
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
Volume
5
fYear
0
fDate
0-0 0
Firstpage
4983
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2004 IEEE International Conference on
Conference_Location
The Hague
ISSN
1062-922X
Print_ISBN
0-7803-8566-7
Type
conf
DOI
10.1109/ICSMC.2004.1401321
Filename
1401321
Link To Document