IEEE recommended practice for powering and grounding electronic equipment. (Color Book Series - Emerald Book)

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