Tools for reduced precision computation: a survey

S Cherubin, G Agosta - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
The use of reduced precision to improve performance metrics such as computation latency
and power consumption is a common practice in the embedded systems field. This practice …

Dynamic precision autotuning with TAFFO

S Cherubin, D Cattaneo, M Chiari… - ACM Transactions on …, 2020 - dl.acm.org
Many classes of applications, both in the embedded and high performance domains, can
trade off the accuracy of the computed results for computation performance. One way to …

Cost-effective fixed-point hardware support for RISC-V embedded systems

D Zoni, A Galimberti - Journal of Systems Architecture, 2022 - Elsevier
With the ever-increasing energy-efficiency requirements for the computing platforms at the
edge, precision tuning techniques highlight the possibility of improving the efficiency of …

Towards extreme scale technologies and accelerators for eurohpc hw/sw supercomputing applications for exascale: the textarossa approach

G Agosta, M Aldinucci, C Alvarez, R Ammendola… - Microprocessors and …, 2022 - Elsevier
In the near future, Exascale systems will need to bridge three technology gaps to achieve
high performance while remaining under tight power constraints: energy efficiency and …

Architecture-aware precision tuning with multiple number representation systems

D Cattaneo, M Chiari, N Fossati… - 2021 58th ACM/IEEE …, 2021 - ieeexplore.ieee.org
Precision tuning trades accuracy for speed and energy savings, usually by reducing the data
width, or by switching from floating point to fixed point representations. However, comparing …

[HTML][HTML] CuFP: An HLS Library for Customized Floating-Point Operators

F Hajizadeh, T Ould-Bachir, JP David - Electronics, 2024 - mdpi.com
High-Level Synthesis (HLS) tools have revolutionized FPGA application development by
providing a more efficient and streamlined approach, significantly impacting digital design …

A holistic approach to automatic mixed-precision code generation and tuning for affine programs

J Xu, G Song, B Zhou, F Li, J Hao, J Zhao - Proceedings of the 29th ACM …, 2024 - dl.acm.org
Reducing floating-point (FP) precision is used to trade the quality degradation of a numerical
program's output for performance, but this optimization coincides with type casting, whose …

An SMT theory of fixed-point arithmetic

M Baranowski, S He, M Lechner, TS Nguyen… - … Joint Conference on …, 2020 - Springer
Fixed-point arithmetic is a popular alternative to floating-point arithmetic on embedded
systems. Existing work on the verification of fixed-point programs relies on custom …

The case for approximate intermittent computing

F Bambusi, F Cerizzi, Y Lee… - 2022 21st ACM/IEEE …, 2022 - ieeexplore.ieee.org
We present the concept of approximate intermittent computing and concretely demonstrate
its application. Intermittent computations stem from the erratic energy patterns caused by …

Hardware and software support for mixed precision computing: a roadmap for embedded and hpc systems

W Fornaciari, G Agosta, D Cattaneo… - … , Automation & Test …, 2023 - ieeexplore.ieee.org
Mixed precision is an approximate computing technique that can be used to trade-off
computation accuracy for performance and/or energy. It can be applied to many error …