A new methodology for hardware/software codesign using Petri Nets

被引:0
作者
Bourjij, A [1 ]
Nus, P [1 ]
机构
[1] ESA 7039, CNRS, CRAN, F-88100 St Die, France
来源
2001 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS I AND II, CONFERENCE PROCEEDINGS | 2001年
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The main object of this methodology is to give an efficient approach for DSP (Digital Signal Processor) programming. The proposed approach adopts Petri Nets [1] [2] 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.
引用
收藏
页码:341 / 344
页数:4
相关论文
共 50 条