A new methodology for Hardware/Software codesign using Petri nets

Abstract

The main object of this methodology is to give an efficient approach for DSP (Digital Signal Processor) programming. The proposed approach adopts Petri Nets as the basic tool for model construction. Thus, the model can be easily analyzed by linear algebra or graph theory to verify its properties. If the model is correct by T-invariant computing we can choose an optimized data transfer scheme else we must improve the model.