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
关键词
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] A framework for high-level synthesis of system-on-chip designs
    Stine, JE
    Grad, J
    Castellanos, I
    Blank, J
    Dave, V
    Prakash, M
    Iliev, N
    Jachimiec, N
    2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, 2005, : 67 - 68
  • [42] A graph-based framework for High-level test synthesis
    Bashari, Ali Pourghaffari
    Pourmozafari, Saadat
    WORLD CONGRESS ON ENGINEERING 2007, VOLS 1 AND 2, 2007, : 486 - +
  • [43] Multi-level hierarchies for scalable ad hoc routing
    Belding-Royer, EM
    WIRELESS NETWORKS, 2003, 9 (05) : 461 - 478
  • [44] Multi-Level Hierarchies for Scalable Ad hoc Routing
    Elizabeth M. Belding-Royer
    Wireless Networks, 2003, 9 : 461 - 478
  • [45] HLS-IRT: Hardware Trojan Insertion through Modification of Intermediate Representation During High-Level Synthesis
    Mukherjee, Rijoy
    Ghosh, Archisman
    Chakraborty, Rajat subhra
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2024, 29 (05)
  • [46] High-Level Event Mining: A Framework
    Bakullari, Bianka
    van der Aalst, Wil M. P.
    2022 4TH INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2022), 2022, : 136 - 143
  • [47] ALGORITHMS FOR HIGH-LEVEL SYNTHESIS
    PAULIN, PG
    KNIGHT, JP
    IEEE DESIGN & TEST OF COMPUTERS, 1989, 6 (06): : 18 - 31
  • [48] Introduction to high-level synthesis
    Gajski, Daniel D.
    Ramachandran, Loganath
    IEEE Design and Test of Computers, 1600, 11 (04): : 44 - 54
  • [49] Validating High-Level Synthesis
    Kundu, Sudipta
    Lerner, Sorin
    Gupta, Rajesh
    COMPUTER AIDED VERIFICATION, 2008, 5123 : 459 - 472
  • [50] OPTIMIZATIONS IN HIGH-LEVEL SYNTHESIS
    ROSENSTIEL, W
    MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 347 - 352