Estimating functional unit number in the PISH codesign system by using Petri nets

  • Authors:
  • Paulo Maciel;Edna Barros;Wolfgang Rosenstiel

  • Affiliations:
  • Departamento de Informática, Universidade de Pernambuco, Recife, Brazil;Departamento de Informática, Universidade de Pernambuco, Recife, Brazil;Fakultaet fuer Informatik, Universitaet Tuebingen, Tuebingen, Germany

  • Venue:
  • SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

This work presents two approaches for computing the number of functional units in the PISH hardware/software codesign systtem. 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 peformance indices which are Hsed 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.