Resource Sharing Estimation by Petri Nets in PISH Codesign System

摘要

This work presents two approaches for computing the number of functional units in hardware/software codesign context. The proposed hardware/software codesign framework uses Petri net as common formalism for performing quantitative and qualitative analysis. The use of Petri net permits to use a specification non-dependent partitioning method. Particularly, 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 describe those approaches, but an overview of the general hardware/software codesign method is also presented.