This work presents a method for process area estimation in the hardware/software codesign context. The proposed approach adopts Petri nets as an intermediate model which allows for a specification non-dependent partitioning method to be used. Particularly, Petri net as an intermediate format allows one to analyze properties of the specification and formally compute performance indices which are used in the partitioning process. Although this paper is mainly concerned with area estimation a brief overview of the general hardware/software design method is also given.
展开▼
