Apply High-Level Synthesis Design and Verification Methodology on Floating-Point Unit Implementation

被引:0
|
作者
Chen, Chia-I [1 ]
Yu, Chin-Yeh [1 ]
Lu, Yen-Ju [1 ]
Wu, Chi-Feng [1 ]
机构
[1] Realtek Semicond Corp, Hsinchu, Taiwan
来源
2014 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT) | 2014年
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
For decades, several researchers in both academic and industrial dedicate to reduce the widen gap between technology capabilities and productivity of hardware designer. HLS (high-level synthesis) is one of the promising possibilities to speed up the product development time. In this paper, we propose a HLS framework. Then design and verify an FPU (floating-point unit) via the proposed framework. The target design goes through the entire flow from a behavioral model down to gate-level netlist. Discussion on general issues of HLS is provided as experience sharing. QoR (quality-of-result) of the framework and the FPU are also evaluated at the end of this article.
引用
收藏
页数:4
相关论文
共 50 条
  • [21] Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations
    Uguen, Yohann
    de Dinechin, Florent
    Derrien, Steven
    2017 27TH INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), 2017,
  • [22] Design and Verification Using High-Level Synthesis
    Takach, Andres
    2016 21ST ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2016, : 198 - 203
  • [23] Verification of all circuits in a floating-point unit using word-level model checking
    Chen, YA
    Clarke, E
    Ko, PH
    Hoskote, Y
    Kam, T
    Khaira, M
    O'Leary, J
    Zhao, XD
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 19 - 33
  • [24] FAUST: Design and implementation of a pipelined RISC-V vector floating-point unit
    Kovac, Mate
    Dragic, Leon
    Malnar, Branimir
    Minervini, Francesco
    Palomar, Oscar
    Rojas, Carlos
    Olivieri, Mauro
    Knezovic, Josip
    Kovac, Mario
    MICROPROCESSORS AND MICROSYSTEMS, 2023, 97
  • [25] Design of Floating-Point Arithmetic Unit for FPGA with Simulink®
    Kralev, Jordan
    PROCEEDINGS OF 18TH INTERNATIONAL CONFERENCE ON SMART TECHNOLOGIES (IEEE EUROCON 2019), 2019,
  • [26] Energy-Efficient Floating-Point Unit Design
    Galal, Sameh
    Horowitz, Mark
    IEEE TRANSACTIONS ON COMPUTERS, 2011, 60 (07) : 913 - 922
  • [27] THE NS32081 FLOATING-POINT UNIT - ARCHITECTURE AND IMPLEMENTATION
    GAVRIELOV, M
    EPSTEIN, L
    IEEE MICRO, 1986, 6 (02) : 6 - 12
  • [28] POWER2 floating-point unit: architecture and implementation
    Hicks, T.N., 1600, IBM, Armonk, NY, United States (38):
  • [29] POWER2 FLOATING-POINT UNIT - ARCHITECTURE AND IMPLEMENTATION
    HICKS, TN
    FRY, RE
    HARVEY, PE
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1994, 38 (05) : 525 - 536
  • [30] High-Level Languages and Floating-Point Arithmetic for FPGA-Based CFD Simulations
    Sanchez-Roman, Diego
    Sutter, Gustavo
    Lopez-Buedo, Sergio
    Gonzalez, Ivan
    Gomez-Arribas, Francisco J.
    Aracil, Javier
    Palacios, Francisco
    IEEE DESIGN & TEST OF COMPUTERS, 2011, 28 (04): : 28 - 36