Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations - Archive ouverte HAL Access content directly
Conference Papers Year :

Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations

(1) , (1) , (2)
1
2

Abstract

FPGAs are well known for their ability to perform non-standard computations not supported by classical microprocessors. Many libraries of highly customizable application-specific IPs have exploited this capablity. However, using such IPs usually requires handcrafted HDL, hence significant design efforts. High Level Synthesis (HLS) lowers the design effort thanks to the use of C/C++ dialects for programming FPGAs. However, high-level C language becomes a hindrance when one wants to express non-standard computations: this languages was designed for programming microprocessors and carries with it many restrictions due to this paradigm. This is especially true when computing with floating-point, whose data-types and evaluation semantics are defined by the IEEE-754 and C11 standards. If the high-level specification was a computation on the reals, then HLS imposes a very restricted implementation space. This work attempts to bridge FPGA application-specific efficiency and HLS ease of use. It specifically targets the ubiquitous floating-point summation-reduction pattern. A source-to-source compiler transforms selected floating-point additions into sequences of simpler operators using non-standard arithmetic formats. This improves performance and accuracy for several benchmarks, while keeping the ease of use of a high-level C description.
Fichier principal
Vignette du fichier
2017-FPL.pdf (205.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01373954 , version 1 (29-09-2016)
hal-01373954 , version 2 (11-09-2017)

Licence

Attribution - CC BY 4.0

Identifiers

  • HAL Id : hal-01373954 , version 2

Cite

Yohann Uguen, Florent de Dinechin, Steven Derrien. Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations. 27th International Conference on Field-Programmable Logic and Applications (FPL), IEEE, Sep 2017, Gent, Belgium. pp.8. ⟨hal-01373954v2⟩
770 View
641 Download

Share

Gmail Facebook Twitter LinkedIn More