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
关键词
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 条
  • [1] Templatised Soft Floating-Point for High-Level Synthesis
    Thomas, David B.
    2019 27TH IEEE ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2019, : 227 - 235
  • [2] FPGA implementation of floating-point LMS adaptive filters using high-level synthesis
    Ushenina, Inna, V
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2022, (59): : 108 - 116
  • [3] Floating-Point Adder in Techology Driven High-Level Synthesis
    Joseph, M.
    Bhat, Narasimha B.
    Sekaran, K. Chandra
    ADVANCES IN COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, PT I, 2011, 131 : 49 - +
  • [4] High-Level Description and Synthesis of Floating-Point Accumulators on FPGA
    Daigneault, Marc-Andre
    David, Jean Pierre
    2013 IEEE 21ST ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2013, : 206 - 209
  • [5] Equivalence Checking of a Floating-Point Unit Against a High-Level C Model
    Mukherjee, Rajdeep
    Joshi, Saurabh
    Griesmayer, Andreas
    Kroening, Daniel
    Melham, Tom
    FM 2016: FORMAL METHODS, 2016, 9995 : 551 - 558
  • [6] High-Level Synthesis of Software-Customizable Floating-Point Cores
    Bansal, Samridhi
    Hsiao, Hsuan
    Czajkowski, Tomasz
    Anderson, Jason H.
    PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2018, : 37 - 42
  • [7] Templatized Fused Vector Floating-Point Dot Product for High-Level Synthesis
    Filippas, Dionysios
    Nicopoulos, Chrysostomos
    Dimitrakopoulos, Giorgos
    JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, 2022, 12 (04)
  • [8] A High-Level Synthesis and Verification Tool for Fixed to Floating Point Conversion
    Aslan, Semih
    Oruklu, Erdal
    Saniie, Jafar
    2012 IEEE 55TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2012, : 908 - 911
  • [9] Design and Implementation of a Reduced Floating-Point Reconfigurable Computing Unit
    Wang, Xing
    Zhang, Duo-li
    Song, Yu-kun
    Du, Gao-ming
    INTERNATIONAL CONFERENCE ON COMPUTER, NETWORK SECURITY AND COMMUNICATION ENGINEERING (CNSCE 2014), 2014, : 164 - 170
  • [10] Design and verification of a VHDL model of a floating-point unit for a RISC microprocessor
    Brunelli, Claudio
    Nurmi, Jari
    2006 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP PROCEEDINGS, 2006, : 87 - +