A Brief Introduction on Contemporary High-Level Synthesis

被引：0
|
作者：
Ren, Haoxing [1 ]
机构：
[1] IBM TJ Watson Res Ctr, Yorktown Hts, NY 10598 USA
来源：
2014 IEEE INTERNATIONAL CONFERENCE ON IC DESIGN & TECHNOLOGY (ICICDT) | 2014年
关键词：
High-Level Synthesis;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
This paper tries to give a brief introduction on contemporary High-Level Synthesis (HLS). It covers following areas on HLS: design languages, main algorithms and flow, available commercial and academic tools, HLS application space, benefits of using HLS, and remaining challenges. The goals of this paper are to give reader an overview of HLS area, promote the adoption of HLS in the industry, and point out interesting research directions.
引用
收藏
页数：4
相关论文
共 50 条
  • [1] An Introduction to High-Level Synthesis
    Coussy, Philippe
    Meredith, Michael
    Gajski, Daniel D.
    Takach, Andres
    IEEE DESIGN & TEST OF COMPUTERS, 2009, 26 (04): : 8 - 17
  • [2] HIGH-LEVEL SYNTHESIS - A TUTORIAL
    WU, ACH
    LIN, YL
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (03) : 209 - 218
  • [3] Separation Logic for High-Level Synthesis
    Winterstein, Felix J.
    Bayliss, Samuel R.
    Constantinides, George A.
    ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2016, 9 (02)
  • [4] Translation Validation of High-Level Synthesis
    Kundu, Sudipta
    Lerner, Sorin
    Gupta, Rajesh K.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (04) : 566 - 579
  • [5] Power management in high-level synthesis
    Lakshminarayana, G
    Raghunathan, A
    Jha, NK
    Dey, S
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 1999, 7 (01) : 7 - 15
  • [6] Widely parameterizable High-Level Synthesis
    Cieszewski, Radoslaw
    Pozniak, Krzysztof
    Romaniuk, Ryszard
    Linczuk, Maciej
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2018, 2018, 10808
  • [7] Lessons and Experiences with High-Level Synthesis
    Sarkar, Soujanna
    Dabral, Shashank
    Mitra, Raj S.
    Tiwari, Praveen K.
    IEEE DESIGN & TEST OF COMPUTERS, 2009, 26 (04): : 34 - 45
  • [8] Formal Verification of High-Level Synthesis
    Herklotz, Yann
    Pollard, James D.
    Ramanathan, Nadesh
    Wickerson, John
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [9] High-level test synthesis: a survey
    Ghosh, I
    Jha, NK
    INTEGRATION-THE VLSI JOURNAL, 1998, 26 (1-2) : 79 - 99
  • [10] A Survey of Verification for High-level Synthesis
    Hu J.
    Hu Y.
    Wang G.
    Chen G.
    Yang H.
    Kang Y.
    Wang K.
    Li S.
    1600, Institute of Computing Technology (33): : 287 - 297
12345