Wednesday June 16th, 2021 from 10:45 to 12:00 (CEST)

Session 8. Invited session "Hardware and Software Tools for Computer Arithmetic"

Chair: Bogdan Pasca

1. Some Formal Tools for Computer Arithmetic: Flocq and Gappa
Sylvie Boldo and Guillaume Melquiond

[Paper]

2. Towards arithmetic-centered filter design
Florent de Dinechin, Silviu Filip, Martin Kumm, Anastasia Volkova

[Paper]

3. FPGA acceleration of bit-true simulations for word-length optimization
Javier Hormigo and Gabriel Caffarena

[Paper]