Estimating functional unit number in the PISH codedesign system by using Petri nets
Paulo Romero Martins Maciel, Edna N. S. Barros, Wolfgang Rosenstiel · 2003
This work presents two approaches for computing the number of functional units in the PISH hardware/software codesign system. The proposed methods use Petri net as common formalism for performing quantitative analysis. The use of Petri net permits us to use a specification non-dependent partitioning method. Particularly, the Petri net as an intermediate format allows to analyze properties of the specification and formally compute performance indices which are used in the partitioning process. This paper is devoted to describing those approaches, but an overview of the general hardware/software codesign method is also presented.