The Community for Technology Leaders
2018 IEEE 25th Symposium on Computer Arithmetic (ARITH) (2018)
Amherst, MA, USA
June 25, 2018 to June 27, 2018
ISSN: 2576-2265
ISBN: 978-1-5386-2665-8
TABLE OF CONTENTS

Flexpoint: Predictive Numerics for Deep Learning (Abstract)

Valentina Popescu , Artificial Intelligence Products Group, Intel Corporation
Marcel Nassar , Artificial Intelligence Products Group, Intel Corporation
Xin Wang , Artificial Intelligence Products Group, Intel Corporation
Evren Tumer , Artificial Intelligence Products Group, Intel Corporation
Tristania Webb , Artificial Intelligence Products Group, Intel Corporation
pp. 1-4

Karatsuba with Rectangular Multipliers for FPGAs (Abstract)

Martin Kumm , Digital Technology Group, University of Kassel, Germany
Oscar Gustafsson , Department of Electrical Engineering, Linkoping University, Division of Computer Engineering, Sweden
Florent de Dinechin , Univ Lyon, Inria, INSA Lyon, CITI, France
Johannes Kappauf , Digital Technology Group, University of Kassel, Germany
Peter Zipf , Digital Technology Group, University of Kassel, Germany
pp. 13-20

A Correctly Rounded Mixed-Radix Fused-Multiply-Add (Abstract)

Clothilde Jeangoudoux , Safran Electronics & Defense, Eragny-sur-Oise, 95610
Christoph Lauter , Safran Electronics & Defense, Eragny-sur-Oise, 95610
pp. 21-28

Tunable Floating-Point for Energy Efficient Accelerators (Abstract)

Alberto Nannarelli , Department of Applied Mathematics and Computer Science, Technical University, Denmark
pp. 29-36

Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip (Abstract)

Mantas Mikaitis , Advanced Processor Technologies Group, School of Computer Science, The University of Manchester
David R Lester , Advanced Processor Technologies Group, School of Computer Science, The University of Manchester
Delong Shang , Advanced Processor Technologies Group, School of Computer Science, The University of Manchester
Steve Furber , Advanced Processor Technologies Group, School of Computer Science, The University of Manchester
Gengting Liu , Advanced Processor Technologies Group, School of Computer Science, The University of Manchester
Jim Garside , Advanced Processor Technologies Group, School of Computer Science, The University of Manchester
Stefan Scholze , Chair for Highly-Parallel VLSI Systems and Neuromorphic Circuits, Technische Universität Dresden
Sebastian Hoppner , Chair for Highly-Parallel VLSI Systems and Neuromorphic Circuits, Technische Universität Dresden
Andreas Dixius , Chair for Highly-Parallel VLSI Systems and Neuromorphic Circuits, Technische Universität Dresden
pp. 37-44

Augmented Arithmetic Operations Proposed for IEEE-754 2018 (Abstract)

Jason Riedy , Georgia Institute of Technology
James Demmel , University of California, Berkeley
pp. 45-52

On Various Ways to Split a Floating-Point Number (Abstract)

Claude-Pierre Jeannerod , Univ Lyon, CNRS, Inria, ENS de Lyon, Universite Claude Bernard Lyon 1, France
Jean-Michel Muller , Univ Lyon, ENS de Lyon, CNRS, Inria, Univcrsite Claude Bernard Lyon 1, France
Paul Zimmermann , Universite de Lorraine, Inria, CNRS, LORIA, France
pp. 53-60

VeriTracer: Context-enriched tracer for floating-point arithmetic analysis (Abstract)

Yohan Chatelain , University of Versailles
Pablo De Oliveira Castro , University of Versailles
Eric Petit , Intel
David Defour , University of Perpignan
Jordan Bieder , CEA, Arpajon, France
Marc Torrent , CEA, Arpajon, France
pp. 61-68

FP-ANR: A representation format to handle floating-point cancellation at run-time (Abstract)

David Defour , LAMPS, Univ. Perpignan Via Domitia, Perpignan, F-66860, France
pp. 76-83

Radix-64 Floating-Point Divider (Abstract)

Javier D. Bruguera , ARM Austin Design Center
pp. 84-91

Combining Restoring Array and Logarithmic Dividers into an Approximate Hybrid Design (Abstract)

Weiqiang Liu , College of EIE Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China
Jing Li , College of EIE Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China
Tao Xu , College of EIE Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China
Chenghua Wang , College of EIE Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China
Paolo Montuschi , CCE Department, Politecnico di Torino, Torino, 10129, Italy
Fabrizio Lombardi , Department of ECE, Northeastern University, Boston, MA, 02115, USA
pp. 92-98

A High Throughput Polynomial and Rational Function Approximations Evaluator (Abstract)

Nicolas Brisebarre , CNRS, LIP, Univ. Lyon, Univ. Claude Bernard Lyon 1, ENS de Lyon, Inria, France
George Constantinides , Electrical and Electronics Enginnering, Imperical College London, SW7 2AZ, United Kingdom
Milos Ercezovac , UCLA, Computer Science Department, Los Angeles, CA, 90095, USA
Silviu-Ioan Filip , IRISA, Univ Rennes, Inria, CNRS, Rennes, F-35000, France
Matei Istoan , UCLA, Computer Science Department, Los Angeles, CA, 90095, USA
Jean-Michel Muller , CNRS, LIP, Univ. Lyon, Univ. Claude Bernard Lyon 1, ENS de Lyon, Inria, France
pp. 99-106

Digit Elision for Arbitrary-accuracy Iterative Computation (Abstract)

He Li , Department of Electrical and Electronic Engineering Imperial College London, London, United Kingdom
James J. Davis , Department of Electrical and Electronic Engineering Imperial College London, London, United Kingdom
John Wickerson , Department of Electrical and Electronic Engineering Imperial College London, London, United Kingdom
George A. Constantinides , Department of Electrical and Electronic Engineering Imperial College London, London, United Kingdom
pp. 107-114

Fast multiplication of binary polynomials with the forthcoming vectorized VPCLMULQDQ instruction (Abstract)

Nir Drucker , University of Haifa, Amazon Web Services Inc., Israel
Shay Gueron , University of Haifa, Amazon Web Services Inc., Israel
Vlad Krasnov , CloudFlare, Inc., Francisco, USA
pp. 115-119

Enhanced Vector Math Support on the Intel®AVX-512 Architecture (Abstract)

Cristina S. Anderson , Intel Corporation, Hillsboro OR, 97124
Jingwei Zhang , Intel Corporation, Hillsboro OR, 97124
Marius Cornea , Intel Corporation, Hillsboro OR, 97124
pp. 120-124

The Comeback of Reed Solomon Codes (Abstract)

Nir Drucker , University of Haifa, Amazon Web Services Inc., Israel
Shay Gueron , University of Haifa, Amazon Web Services Inc., Israel
Vlad Krasnov , CloudFlare, Inc., San Francisco, USA
pp. 125-129

Faster Modular Exponentiation Using Double Precision Floating Point Arithmetic on the GPU (Abstract)

Niall Emmart , College of Information and Compute Sciences, University of Massachusetts, Amherst, MA, 01003, USA
Fangyu Zhengt , State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China
Charles Weems , College of Information and Compute Sciences, University of Massachusetts, Amherst, MA, 01003, USA
pp. 130-137

A New Variant of the Barrett Algorithm Applied to Quotient Selection (Abstract)

Niall Emmart , College of Information and Computer Sciences, University of Massachusetts, Amherst, MA, 01003-4610, USA
Fangyu Zheng , Chinese Academy of Sciences, Institute of Information Engineering, State Key Laboratory of Information Security, Beijing, China
Charles Weems , College of Information and Computer Sciences, University of Massachusetts, Amherst, MA, 01003-4610, USA
pp. 138-144

New Area Record for the AES Combined S-Box/Inverse S-Box (Abstract)

Arash Reyhani-Masoleh , Department of Electrical and Computer Engineering, Western University, London, Ontario, Canada
Mostafa Taha , Department of Electrical and Computer Engineering, Western University, London, Ontario, Canada
Doaa Ashmawy , Department of Electrical and Computer Engineering, Western University, London, Ontario, Canada
pp. 145-152
82 ms
(Ver 3.3 (11022016))