G. Constantinides, P. Cheung, and W. Luk, The multiple wordlength paradigm, Proc. IEEE Symposium on Field-Programmable Custom Computing Machines, 2001.

G. Bohlender and U. Kulisch, Comments on fast and exact accumulation of products, Applied Parallel and Scientific Computing, K. Jónasson, pp.148-156, 2012.

A. Volkova, M. Istoan, F. De-dinechin, and T. Hilaire, Towards hardware iir filters computing just right: Direct form i case study, IEEE Transactions on Computers, vol.68, issue.4, pp.597-608, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01561052

V. Lefèvre and J. Muller, Worst cases for correct rounding of the elementary functions in double precision, Proceedings of the 15th Symposium on Computer Arithmetic, pp.111-118, 2001.

T. Ogita, S. Rump, and S. Oishi, Accurate sum and dot product, SIAM Journal on Scientific Computing, vol.26, pp.1955-1988, 2005.

J. V. Neumann, First draft of a report on the edvac, 1945.

A. W. Burks, H. H. Goldstine, and J. Von-neumann, Preliminary discussion of the logical design of an electronic computing instrument, 1946.

D. Goldberg, What every computer scientist should know about floating point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991.

S. Boldo and G. Melquiond, Emulation of FMA and Correctly-Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, issue.4, pp.462-471, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00080427

, IEEE Standard for Standard SystemC Language Reference Manual, Revision of IEEE Std 1666-2005), pp.1-638, 2012.

H. Hanselmann, Implementation of digital controllers -a survey, Automatica, vol.23, issue.1, pp.7-32, 1987.

B. Porat, A course in digital signal processing, 1997.

T. Hilaire, H. Ouzia, and B. Lopez, Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers, ARITH 2019 -IEEE 26th Symposium on Computer Arithmetic
URL : https://hal.archives-ouvertes.fr/hal-02393851

J. Kyoto, , pp.175-182, 2019.

S. Boldo and G. Melquiond, Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01632617

D. Gallois-wong, S. Boldo, and T. Hilaire, A Coq formalization of digital filters, Intelligent Computer Mathematics, pp.87-103, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01728828