VERROU: New stochastic rounding modes for numerical verification
Résumé
In the context of industrial code verification, the use of stochastic rounding modes allows to estimate the numerical quality of the results through multiple independent executions of the software. But in some rare cases, the introduction of stochastic rounding can lead to a runtime error because the software implicitly relies on the determinism of IEEE floating-point operations. To overcome this problem, we propose new deterministic stochastic rounding modes: these maintain the stochastic properties between different executions of the software while guaranteeing the determinism of the floating operations having the same parameters within one execution. Results based on an implementation of the method in the Verrou tool will be presented.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |