Generating high-performance custom floating-point pipelines, 2009. ,
Large multipliers with less DSP blocks, 2009. ,
A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic, The Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology, vol.23, issue.1, pp.161-175, 2007. ,
DOI : 10.1007/s11265-007-0048-7
URL : https://hal.archives-ouvertes.fr/ensl-00542212
Digital Arithmetic, 2003. ,
URL : https://hal.archives-ouvertes.fr/ensl-00542215
Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation, IEEE Transactions on Computers, vol.60, issue.2, 2008. ,
DOI : 10.1109/TC.2010.152
URL : https://hal.archives-ouvertes.fr/ensl-00559236
Foundation for fpga acceleration, Fourth Annual Reconfigurable Systems Summer Institute, 2008. ,
Parameterisable floating-point operators on FPGAs, 36th Asilomar Conference on Signals, Systems, and Computers, pp.1064-1068, 2002. ,
Implementation of single precision floating point square root on FPGAs, FPGAs for Custom Computing Machines, pp.56-65, 1997. ,
IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, 2000. ,
High-speed double-precision computation of reciprocal, division, square root, and inverse square root, IEEE Transactions on Computers, vol.51, issue.12, pp.1377-1388, 2002. ,
DOI : 10.1109/TC.2002.1146704
A mechanically checked proof of correctness of the AMD K5 floating point square root microcode. Formal Methods in System Design, pp.75-125, 1999. ,
Advanced Components in the Variable Precision Floating-Point Library, 2006 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, pp.249-258, 2006. ,
DOI : 10.1109/FCCM.2006.21