ScaleHLS: A New Scalable High-Level Synthesis Framework on Multi-Level Intermediate Representation

被引:30
作者
Ye, Hanchen [1 ]
Hao, Cong [2 ]
Cheng, Jianyi [3 ]
Jeong, Hyunmin [1 ]
Huang, Jack [1 ]
Neuendorffer, Stephen [4 ]
Chen, Deming [1 ]
机构
[1] Univ Illinois, Urbana, IL 61801 USA
[2] Georgia Inst Technol, Atlanta, GA 30332 USA
[3] Imperial Coll London, London, England
[4] Xilinx Inc, San Jose, CA USA
来源
2022 IEEE INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE (HPCA 2022) | 2022年
关键词
High-Level Synthesis; MLIR; Compiler; FPGA; Optimization; Design Space Exploration;
D O I
10.1109/HPCA53966.2022.00060
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
High-level synthesis (HLS) has been widely adopted as it significantly improves the hardware design productivity and enables efficient design space exploration (DSE). Existing HLS tools are built using compiler infrastructures largely based on a single-level abstraction, such as LLVM. However, as HLS designs typically come with intrinsic structural or functional hierarchies, different HLS optimization problems are often better solved with different levels of abstractions. This paper proposes ScaIeHLS(1), a new scalable and customizable HLS framework, on top of a multi-level compiler infrastructure called MLIR. ScaleHLS represents HLS designs at multiple representation levels and provides an HLS-dedicated analysis and transform library to solve the optimization problems at the suitable levels. Using this library, we provide a DSE engine to generate optimized HLS designs automatically. In addition, we develop an HLS C front-end and a C/C++ emission back-end to translate HLS designs into/from MLIR for enabling an end-to-end compilation flow. Experimental results show that, comparing to the baseline designs without manual directives insertion and code-rewriting, that are only optimized by Xilinx Vivado HLS, ScaleHLS improves the performances with amazing quality-of-results - up to 768.1 x better on computation kernel level programs and up to 3825.0 x better on neural network models.
引用
收藏
页码:741 / 755
页数:15
相关论文
共 50 条
  • [41] High-level test synthesis: a survey
    Ghosh, I
    Jha, NK
    INTEGRATION-THE VLSI JOURNAL, 1998, 26 (1-2) : 79 - 99
  • [42] 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
  • [43] High-level synthesis by ants on a tree
    Keinprasit, R
    Chongstitvatana, P
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2003, E86A (10) : 2659 - 2669
  • [44] High-level Synthesis Integrated Verification
    Dossis, Michael F.
    ENGINEERING TECHNOLOGY & APPLIED SCIENCE RESEARCH, 2015, 5 (05) : 864 - 870
  • [45] 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
  • [46] 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
  • [47] Advanced High-Level Synthesis techniques based on metamodel
    Cieszewski, Radoslaw
    Romaniuk, Ryszard
    Pozniak, Krzysztof
    Linczuk, Maciej
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2024, 70 (04) : 1049 - 1056
  • [48] POLSCA: Polyhedral High-Level Synthesis with Compiler Transformations
    Zhao, Ruizhe
    Cheng, Jianyi
    Luk, Wayne
    Constantinides, George A.
    2022 32ND INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, FPL, 2022, : 235 - 242
  • [49] Challenges Designing for FPGAs Using High-Level Synthesis
    Faber, Clayton J.
    Harris, Steven D.
    Xiao, Zhili
    Chamberlain, Roger D.
    Cabrera, Anthony M.
    2022 IEEE HIGH PERFORMANCE EXTREME COMPUTING VIRTUAL CONFERENCE (HPEC), 2022,
  • [50] High-level synthesis through transforming VHDL models
    Prihozhy, A
    SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 135 - 146