Paulo Romero Martins Maciel

A Petri Net Model for Hardware/Software Codesign

This work presents Petri nets as an intermediate model for hardware/software codesign. The main reason of using of Petri nets is to provide a model that allows for formal qualitative and quantitative analysis in order to perform hardware/software partitioning. Petri nets as an intermediate model allows one to analyze properties of the specification and formally compute performance indices which are used in the partitioning process. This paper highlights methods of computing load balance, mutual exclusion degree and communication cost of behavioral description in order to perform the initial allocation and the partitioning. This work is also devoted to describing a method for estimating hardware area, and it also presents an overview of the general partitioning method considering multiple software components.

Resource sharing estimation by Petri nets in PISH hardware/software co-design system

The article presents two approaches for computing the number of functional units in a hardware/software codesign context. The proposed hardware/software codesign framework uses the Petri net as a common formalism for performing quantitative and qualitative analysis. The use of the Petri net as an intermediate format allows us to analyze properties of the specification and formally compute performance indices which are used in the partitioning process. The paper is devoted to describing the algorithms for functional unit estimation. The work also proposes a method of extending the Petri net model in order to take into account causal constraints provided by the designers. However, an overview of the general hardware/software codesign method is also presented.

A Petri Net Approach for Quantifying Mutual Exclusion Degree

Abstract This work presents a method to compute the mutual exclusion degree of processes and of pairs of processes in order to perform hardware/software partitioning. Considering that our partitioning approach allows for the use of multiple software components, several aspects of multiprocessors systems have to be considered. One of the main problems in systems with multiple processors is the throughput degradation caused by the saturation effects. Most allocation approaches take into account criteria such as interprocessor communication and workload between processors. Another very important aspect which should be considered is the mutual exclusion degree between processes. Mutually exclusive processes are less likely to reduce performance when assigned to one single processor. However, even mutually exclusive processes could allow for distinct levels of concurrency

A Petri Net Based Method for Resource Estimation: An Approach Considering Data-Dependency, Casual and Temporal Precedences

This work presents a combined reachability-structural methodology for computing the number of functional units in hardware/software co-design context considering timing constraints. The proposed method extends some previous works in the sense that data-dependency has been captured and considered in the functional unit estimation methodology. The proposed hardware/software co-design framework uses the Petri net as common formalism for performing quantitative and qualitative analysis.

Methods Based on Petri Net for Resource Sharing Estimation

This work presents two approaches for computing the number of functional units in hardware/software codesign context. The proposed hardware/software codesign framework uses Petri net as common formalism for performing quantitative and qualitative analysis. The use of 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 the algorithms for functional unit estimation. This work also proposes a method of extending the Petri net model in order to take into account causal constraints provided by the designers. However, an overview of the general hardware/software codesign method is also presented.