Application-specific arithmetic in high-level synthesis tools - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Architecture and Code Optimization Year : 2020

Application-specific arithmetic in high-level synthesis tools

Abstract

This work studies hardware-specific optimization opportunities currently unexploited by HLS compilers. Some of these optimizations are specializations of floating-point operations. They respect the usual semantics of the input program. Other optimizations do not, assuming instead that a floating-point computation is actually intended to compute with real numbers. What matters then is to respect application-level accuracy constraints, expressed as pragmas in the source code. This provides the compiler with freedom to use non-standard arithmetic when more efficient. A source-to-source compiler is used to prototype the proposed optimizations and evaluate them on relevant benchmarks.
Fichier principal
Vignette du fichier
hal-hls-arith-v2.pdf (730.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02423363 , version 2 (09-07-2019)
hal-02423363 , version 3 (17-10-2019)
hal-02423363 , version 1 (27-12-2019)

Identifiers

Cite

Yohann Uguen, Florent de Dinechin, Victor Lezaud, Steven Derrien. Application-specific arithmetic in high-level synthesis tools. ACM Transactions on Architecture and Code Optimization, 2020, ⟨10.1145/3377403⟩. ⟨hal-02423363v3⟩
483 View
1647 Download

Altmetric

Share

Gmail Facebook X LinkedIn More