DATA-PATH SYNTHESIS

被引:31
|
作者
STOK, L
机构
[1] IBM T.J. Watson Research Center, Yorktown Heights, NY 10598
关键词
HIGH LEVEL SYNTHESIS; ARCHITECTURAL SYNTHESIS; DATA PATH ALLOCATION; REGISTER ALLOCATION; STORAGE GROUPING; MODULE ALLOCATION;
D O I
10.1016/0167-9260(94)90011-6
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper reviews all the phases in data path synthesis: register allocation, storage grouping, module allocation and interconnect allocation. In addition, a new phase for the storage value insertion is introduced. For each of these phases a formal problem description is given. Restrictions on the data path allocation phases are presented, which delimit the problems to cases which can be solved by polynomial algorithms. For the general cases, heuristics are provided which have appeared to be effective in the literature. Special data path architectures may require special algorithms to make use of their features. Throughout the paper architectural constraints are described and effective algorithms for them derived. To construct an effective data path allocation system, a scheme has to be defined. The scheme determines which subproblems are solved in what order and which constraints are taken into account in each phase. The data flow graph and schedule and their match with the data path architecture have a major impact on the development of a scheme. This paper will point out the trade-offs that have to be made when developing such a scheme. This paper provides a reference to most of the data path allocation algorithms published in the scope of high-level synthesis. Most of the techniques are explained in considerable detail and various examples are given. The paper comments on the applicability of most of the algorithms for particular data path allocation problems.
引用
收藏
页码:1 / 71
页数:71
相关论文
共 50 条
  • [41] A DATA-PATH MULTIPLIER WITH AUTOMATIC INSERTION OF PIPELINE STAGES
    ASATO, C
    DITZEN, C
    DHOLAKIA, S
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1990, 25 (02) : 383 - 387
  • [42] Selective Check of Data-Path for Effective Fault Tolerance
    Ahmed, Tanvir
    Yao, Jun
    Hara-Azumi, Yuko
    Yamashita, Shigeru
    Nakashima, Yasuhiko
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013, E96D (08): : 1592 - 1601
  • [43] An average performance analysis method for asynchronous data-path
    Zhao, B
    Hei, Y
    Qiu, YL
    2004: 7TH INTERNATIONAL CONFERENCE ON SOLID-STATE AND INTEGRATED CIRCUITS TECHNOLOGY, VOLS 1- 3, PROCEEDINGS, 2004, : 1971 - 1974
  • [44] Software system for FDPIOOK device in data-path application
    Hu, Xin
    Lai, Jin-Mei
    Chen, Yuan-Feng
    Wang, Bo
    Tong, Jia-Rong
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2007, 35 (05): : 827 - 832
  • [45] A high performance data-path to accelerate DSP kernels
    Galanis, M
    Theodoridis, G
    Tragoudas, S
    Soudris, D
    Goutis, C
    ICECS 2004: 11TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, 2004, : 495 - 498
  • [46] LSI DATA-PATH CIRCUITS DRIVE UP DISK DATA RATE
    EVANS, M
    LLEWELLYN, W
    ELECTRONIC DESIGN, 1983, 31 (09) : 165 - &
  • [47] TEST-GENERATION FOR DATA-PATH LOGIC - THE F-PATH METHOD
    FREEMAN, S
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1988, 23 (02) : 421 - 427
  • [48] Optimized generation of data-path from C codes for FPGAs
    Guo, Z
    Buyukkurt, B
    Najjar, W
    Vissers, K
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 112 - 117
  • [49] A Scalable Distributed Routing Protocol for Networks with Data-Path Services
    Huang, Xin
    Ganapathy, Sivakumar
    Wolf, Tilman
    16TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS: ICNP'08, 2008, : 318 - 327
  • [50] Formal verification of data-path circuits based on symbolic simulation
    Morihiro, Y
    Yoneda, T
    PROCEEDINGS OF THE NINTH ASIAN TEST SYMPOSIUM (ATS 2000), 2000, : 329 - 336