A Petri net based method for resource estimation: an approach considering data-dependency, causal and temporal precedences

Author

Maciel, Paulo ; Filho, Fred ; Barros, Edna

Author_Institution

Centro de Informitica, Univ. Fed. de Pernambuco, Recife, Brazil

fYear

2001

fDate

2001

Firstpage

78

Lastpage

84

Abstract

This work presents a combined reachability-structural methodology for computing the number of functional units in hardware/software co-design context considering timing constraints. The proposed method extends some previous works in the sense that data-dependency has been captured and considered in the functional unit estimation methodology. The proposed hardware/software co-design framework uses the Petri net as common formalism for performing quantitative and qualitative analysis

Keywords

Petri nets; hardware-software codesign; reachability analysis; timing; PISH system; Petri net based method; combined reachability-structural methodology; data-dependency; functional unit estimation methodology; functional units; hardware/software codesign framework; resource estimation; timed Petri net; timing constraints; Arithmetic; Consumer electronics; Hardware; Performance analysis; Petri nets; Software performance; Software quality; Software systems; Specification languages; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Integrated Circuits and Systems Design, 2001, 14th Symposium on.

Conference_Location

Pirenopolis

Print_ISBN

0-7695-1333-6

Type

conf

DOI

10.1109/SBCCI.2001.953007

Filename

953007