In: Proc. 13th Symp. on Integrated Circuits and Systems Design, 18-24 September 2000, Manaus, Brazil, pages 75-80. 2000.
Abstract: This work presents two approaches to 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 the performance indices which are used in the partition process. This paper describes the algorithm for functional unit estimation and 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.
Keywords: Petri nets, hardware/software codesign, resource sharing.
Back to the Petri Nets Bibliography