Numerical validation of half precision simulations - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Numerical validation of half precision simulations


In this article, we show how to control the numerical quality of half precision computations using stochastic arithmetic. The CADNA library that is used to estimate rounding errors and detect numerical instabilities in floating-point codes has been improved and extended to support half precision. A performance gain up to a factor 20 has been observed w.r.t. accuracy estimation in arbitrary precision. Furthermore we present how to generate codes mixing half, single, and double precision with a requested accuracy on results providing a user-defined numerical quality of the code. Control of robustness and floating-point auto-tuning taking into account half precision have been successfully performed on various numerical simulations, in particular a control application.
Fichier principal
Vignette du fichier
article.pdf (279.77 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03138494 , version 1 (11-02-2021)


  • HAL Id : hal-03138494 , version 1


Fabienne Jézéquel, Sara Sadat Hoseininasab, Thibault Hilaire. Numerical validation of half precision simulations. 1st Workshop on Code Quality and Security (CQS 2021) in conjunction with WorldCIST'21 (9th World Conference on Information Systems and Technologies), Mar 2021, Terceira Island, Azores, Portugal. ⟨hal-03138494⟩
148 View
310 Download


Gmail Mastodon Facebook X LinkedIn More