Closeness metrics for system-level functional partitioning
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign.
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Hi-index | 0.00 |
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.