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 条
  • [21] DESC: A hardware-software codesign methodology for distributed embedded systems
    Lee, TY
    Hsiung, PA
    Chen, SJ
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001, E84D (03): : 326 - 339
  • [22] Hardware-software codesign
    Cuomo, A
    De Micheli, G
    Ernst, R
    Fuchs, M
    Gajski, DD
    Jerraya, A
    Sangiovanni-Vincentelli, A
    Sciuto, D
    Vissers, KA
    IEEE DESIGN & TEST OF COMPUTERS, 2000, 17 (01): : 92 - 99
  • [23] Hardware-software codesign
    Hoover, C
    Martin, G
    IEEE SPECTRUM, 1996, 33 (11) : 40 - 41
  • [24] A decade of hardware/software codesign
    Wolf, W
    COMPUTER, 2003, 36 (04) : 38 - +
  • [25] Hardware/software codesign for DSP
    Bhattacharyya, SS
    Henkel, J
    Hu, XBS
    IEEE SIGNAL PROCESSING MAGAZINE, 2005, 22 (03) : 11 - 12
  • [26] A FRAMEWORK FOR HARDWARE SOFTWARE CODESIGN
    KUMAR, S
    AYLOR, JH
    JOHNSON, BW
    WULF, WA
    COMPUTER, 1993, 26 (12) : 39 - 45
  • [27] Hardware/software codesign of reconfigurable architectures using UML
    Steinbach, B
    Fröhlich, D
    Beierlein, T
    UML for SOC Design, 2005, : 89 - 117
  • [28] A methodology for risk assessment of functional specification of software systems using colored Petri nets
    Ammar, HH
    Nikzadeh, T
    Dugan, JB
    FOURTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM, PROCEEDINGS, 1997, : 108 - 117
  • [29] Optimal allocation of I/O device parameters in hardware and software codesign methodology
    Lin, Kuan Jen
    Huang, Shih Hao
    Chen, Shih Wen
    EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 : 541 - 552
  • [30] SPECIFICATION OF SOFTWARE PIPELINING USING PETRI NETS
    RAJAGOPALAN, M
    ALLAN, VH
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1994, 22 (03) : 273 - 301
12345