Estimating Functional Unit Number in the PISH Codesign System by using Petri Nets

Paulo MacielEdna BarrosWolfgang Rosenstiel

This work presents two approaches for computing the number of functional units in the PISH hardware/software co-design system. The proposed methods use Petri net as common formalism for performing quantitative 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 co-design method is also presented.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: