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 条
  • [31] THE HERCULES HIGH-LEVEL SYNTHESIS ENVIRONMENT
    Kavvadias, Nikolaos
    Masselos, Kostas
    2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS, 2013,
  • [32] High-level synthesis by dynamic ant
    Keinprasit, R
    Chongstitvatana, P
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2004, 19 (1-2) : 25 - 38
  • [33] 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
  • [34] RPython']Python High-Level Synthesis
    Cieszewski, Radoslaw
    Linczuk, Maciej
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2016, 2016, 10031
  • [35] High-level test synthesis: a survey
    Ghosh, I
    Jha, NK
    INTEGRATION-THE VLSI JOURNAL, 1998, 26 (1-2) : 79 - 99
  • [36] High-level synthesis for low power
    Macii, E
    LOW POWER DESIGN IN DEEP SUBMICRON ELECTRONICS, 1997, 337 : 381 - 393
  • [37] The HercuLeS high-level synthesis environment
    Kavvadias, Nikolaos
    Masselos, Kostas
    2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings, 2013,
  • [38] 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
  • [39] High-Level Synthesis of Benevolent Trojans
    Pilato, Christian
    Basu, Kanad
    Shayan, Mohammed
    Regazzoni, Francesco
    Karri, Ramesh
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1124 - 1129
  • [40] 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):
12345