Title :
A new methodology for Hardware/Software codesign using Petri nets
Author :
Bourjij, A. ; Nus, P.
Author_Institution :
CNRS, Saint-Die, France
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
Keywords :
Petri nets; digital signal processing chips; hardware-software codesign; linear algebra; Digital Signal Processor programming; Petri nets; T-invariant computing; graph theory; hardware/software codesign methodology; linear algebra; model construction; optimized data transfer scheme; Arithmetic; Data buses; Digital signal processing; Digital signal processors; Hardware; Libraries; Linear algebra; Petri nets; Programming profession; Signal processing algorithms;
Conference_Titel :
Communications, Computers and signal Processing, 2001. PACRIM. 2001 IEEE Pacific Rim Conference on
Conference_Location :
Victoria, BC
Print_ISBN :
0-7803-7080-5
DOI :
10.1109/PACRIM.2001.953592
