Florent de Dinechin

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

Hardware-Optimal Digital FIR Filters: One ILP to Rule Them all and in Faithfulness Bind Them.

[BibT_eX]

[DOI]

Proceedings of the 57th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2023, Pacific Grove, CA, USA, October 29, 2023

2022

Lossless Differential Table Compression for Hardware Function Evaluation.

[BibT_eX]

[DOI]

Maxime Christ

Luc Forget

IEEE Trans. Circuits Syst. II Express Briefs, 2022

Computer Arithmetic: Continuing a Long and Steady Emergence.

[BibT_eX]

[DOI]

Paolo Montuschi

Computer, 2022

A single-source C++20 HLS flow for function evaluation on FPGA and beyond.

[BibT_eX]

[DOI]

Proceedings of the HEART 2022: International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, Tsukuba, Japan, June 9, 2022

Using integer linear programming for correctly rounded multipartite architectures.

[BibT_eX]

[DOI]

Orégane Desrentes

Proceedings of the International Conference on Field-Programmable Technology, 2022

Resource Optimal Squarers for FPGAs.

[BibT_eX]

[DOI]

Andreas Böttcher

Martin Kumm

Proceedings of the 32nd International Conference on Field-Programmable Logic and Applications, 2022

Low-precision logarithmic arithmetic for neural network accelerators.

[BibT_eX]

[DOI]

Maxime Christ

Frédéric Pétrot

Proceedings of the 33rd IEEE International Conference on Application-specific Systems, 2022

2021

Towards Arithmetic-Centered Filter Design.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

Resource Optimal Truncated Multipliers for FPGAs.

[BibT_eX]

[DOI]

Andreas Böttcher

Martin Kumm

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

2020

Application-Specific Arithmetic in High-Level Synthesis Tools.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2020

Next Generation Arithmetic for Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2019

Guest Editors Introduction: Special Section on Computer Arithmetic.

[BibT_eX]

[DOI]

Javier D. Bruguera

IEEE Trans. Computers, 2019

Byte-Aware Floating-point Operations through a UNUM Computing Unit.

[BibT_eX]

[DOI]

Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019

A type-safe arbitrary precision arithmetic portability layer for HLS tools.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, 2019

Evaluating the Hardware Cost of the Posit Number System.

[BibT_eX]

[DOI]

Yohann Uguen

Luc Forget

Proceedings of the 29th International Conference on Field Programmable Logic and Applications, 2019

Table-Based versus Shift-And-Add Constant Multipliers for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

Reflections on 10 Years of FloPoCo.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

Dynamic Precision Numerics Using a Variable-Precision UNUM Type I HW Coprocessor.

[BibT_eX]

[DOI]

Andrea Bocco

Yves Durand

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

2018

Karatsuba with Rectangular Multipliers for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Symposium on Computer Arithmetic, 2018

Handbook of Floating-Point Arithmetic (2nd Ed.).

[BibT_eX]

[DOI]

Nicolas Brunie

Claude-Pierre Jeannerod

Springer, ISBN: 978-3-319-76526-6, 2018

2017

Hardware Division by Small Integer Constants.

[BibT_eX]

[DOI]

Laurent-Stéphane Didier

IEEE Trans. Computers, 2017

Improving Energy Efficiency of OFDM Using Adaptive Precision Reconfigurable FFT.

[BibT_eX]

[DOI]

Circuits Syst. Signal Process., 2017

Bridging high-level synthesis and application-specific arithmetic: The case study of floating-point summations.

[BibT_eX]

[DOI]

Yohann Uguen

Steven Derrien

Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

A High-Level Synthesis Approach Optimizing Accumulations in Floating-Point Programs Using Custom Formats and Operators.

[BibT_eX]

[DOI]

Yohann Uguen

Steven Derrien

Proceedings of the 25th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2017

Automating the pipeline of arithmetic datapaths.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Computing floating-point logarithms with fixed-point operations.

[BibT_eX]

[DOI]

Proceedings of the 23nd IEEE Symposium on Computer Arithmetic, 2016

2015

Hardware Implementations of Fixed-Point Atan2.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

Code Generators for Mathematical Functions.

[BibT_eX]

[DOI]

Nicolas Brunie

Olga Kupriianova

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

2014

Sum-of-product architectures computing just right.

[BibT_eX]

[DOI]

Abdelbassat Massouri

Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

2013

Floating-Point Exponentiation Units for Reconfigurable Computing.

[BibT_eX]

[DOI]

ACM Trans. Reconfigurable Technol. Syst., 2013

On Ziv's rounding test.

[BibT_eX]

[DOI]

Serge Torres

ACM Trans. Math. Softw., 2013

Fixed-point trigonometric functions on FPGAs.

[BibT_eX]

[DOI]

Guillaume Sergent

SIGARCH Comput. Archit. News, 2013

Arithmetic core generation using bit heaps.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

2012

Multiplication by Rational Constants.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2012

Table-Based Division by Small Integer Constants.

[BibT_eX]

[DOI]

Laurent-Stéphane Didier

Proceedings of the Reconfigurable Computing: Architectures, Tools and Applications, 2012

2011

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa.

[BibT_eX]

[DOI]

Guillaume Melquiond

IEEE Trans. Computers, 2011

Designing Custom Arithmetic Data Paths with FloPoCo.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2011

An FPGA architecture for solving the Table Maker's Dilemma.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Application-specific Systems, 2011

The Arithmetic Operators You Will Never See in a Microprocessor.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011

A mixed-precision fused multiply and add.

[BibT_eX]

[DOI]

Nicolas Brunie

Benoît Dupont de Dinechin

Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011

2010

Multipliers for floating-point double precision and beyond on FPGAs.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 2010

LEMA: towards a language for reliable arithmetic.

[BibT_eX]

[DOI]

Vincent Lefèvre

Philippe Théveny

Claude-Pierre Jeannerod

Christophe Mouilleron

David Pfannholzer

Nathalie Revol

ACM Commun. Comput. Algebra, 2010

Efficient implementation of parallel BCD multiplication in LUT-6 FPGAs.

[BibT_eX]

[DOI]

Álvaro Vázquez

Proceedings of the International Conference on Field-Programmable Technology, 2010

Floating-point exponential functions for DSP-enabled FPGAs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Field-Programmable Technology, 2010

Pipelined FPGA Adders.

[BibT_eX]

[DOI]

Hong Diep Nguyen

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

Multiplicative Square Root Algorithms for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

Automatic generation of polynomial-based hardware architectures for function evaluation.

[BibT_eX]

[DOI]

Mioara Joldes

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

Handbook of Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Nicolas Brisebarre

Claude-Pierre Jeannerod

Birkhäuser, ISBN: 978-0-8176-4704-9, 2010

2009

Large multipliers with fewer DSP blocks.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009

Generating high-performance custom floating-point pipelines.

[BibT_eX]

[DOI]

Cristian Klein

Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009

2008

Digital Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2008

Optimizing polynomials for floating-point implementation

[BibT_eX]

[DOI]

CoRR, 2008

Certifying floating-point implementations using Gappa

[BibT_eX]

[DOI]

Guillaume Melquiond

CoRR, 2008

An FPGA-specific approach to floating-point accumulation and sum-of-products.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Field-Programmable Technology, 2008

When FPGAs are better at floating-point than microprocessors.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGDA 16th International Symposium on Field Programmable Gate Arrays, 2008

FPGA-Based Computation of the Inductance of Coils Used for the Magnetic Stimulation of the Nervous System.

[BibT_eX]

Proceedings of the First International Conference on Biomedical Electronics and Devices, 2008

Integer and floating-point constant multipliers for FPGAs.

[BibT_eX]

[DOI]

Nicolas Brisebarre

Proceedings of the 19th IEEE International Conference on Application-Specific Systems, 2008

2007

A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2007

Parameterized floating-point logarithm and exponential functions for FPGAs.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2007

Fast and correctly rounded logarithms in double-precision.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2007

Floating-Point Trigonometric Functions for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the FPL 2007, 2007

Return of the hardware floating-point elementary function.

[BibT_eX]

[DOI]

Xavier Pujol

Proceedings of the 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 2007

Matériel et logiciel pour l'évaluation de fonctions numériques :précision, performance et validation.

[BibT_eX]

[DOI]

, 2007

2006

Assisted verification of elementary functions using Gappa.

[BibT_eX]

[DOI]

Guillaume Melquiond

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Floating Point or LNS: Choosing the Right Arithmetic on an Aapplication Basis.

[BibT_eX]

[DOI]

Caroline Collange

Proceedings of the Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August, 2006

2005

Outils pour une comparaison sans <i>a priori</i> entre arithmétique logarithmique et arithmétique flottante.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2005

Multipartite Table Methods.

[BibT_eX]

[DOI]

Arnaud Tisserand

IEEE Trans. Computers, 2005

A Parameterized Floating-Point Exponential Function for FPGAs.

[BibT_eX]

Proceedings of the 2005 IEEE International Conference on Field-Programmable Technology, 2005

Table-based polynomials for fast hardware function evaluation.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005

Towards the Post-Ultimate libm.

[BibT_eX]

[DOI]

Alexey V. Ershov

Nicolas Gast

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2004

Second Order Function Approximation Using a Single Multiplication on FPGAs.

[BibT_eX]

[DOI]

Proceedings of the Field Programmable Logic and Application, 2004

2003

Software Carry-Save: A Case Study for Instruction-Level Parallelism.

[BibT_eX]

[DOI]

David Defour

Proceedings of the Parallel Computing Technologies, 2003

2002

Multipartite Tables in JBits for the Evaluation of Functions on FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

Some Improvements on Multipartite Table Methods .

[BibT_eX]

[DOI]

Arnaud Tisserand

Proceedings of the 15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 2001

2000

The Price of Routing in FPGAs.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

Constant Multipliers for FPGAs.

[BibT_eX]

Vincent Lefèvre

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999

Towards Adaptable Hierarchical Placement for FPGAs.

[BibT_eX]

[DOI]

Florent Dupont de Dinechin

Wayne Luk

Steve McKeever

Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999

1998

A Reconfigurable Engine for Real-Time Video Processing.

[BibT_eX]

[DOI]

Wayne Luk

P. Andreou

Arran Derbyshire

J. Rice

Nabeel Shirazi

D. Siganos

Proceedings of the Field-Programmable Logic and Applications, 1998

1997

Hierarchical Static Analysis for Improving the Complexity of Linear Algebra Algorithms.

[BibT_eX]

Tanguy Risset

Sophie Robert

Proceedings of the Parallel Computing: Fundamentals, 1997

Libraries of schedule-free operators in Alpha.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996

A Regular VLSI Array for an Irregular Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996

Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations.

[BibT_eX]

[DOI]