The Community for Technology Leaders
Computer Arithmetic, IEEE Symposium on (2005)
Cape Cod, Massachusetts, USA
June 27, 2005 to June 29, 2005
ISSN: 1063-6889
ISBN: 0-7695-2366-8
TABLE OF CONTENTS
Papers
Introduction

List of referees (PDF)

pp. xii
Introduction

Forword (PDF)

pp. viii
Introduction
Session 1: Keynote Talk

null (PDF)

pp. null

Keynote Speaker (PDF)

pp. null
Session 2: Multiplication

null (Abstract)

pp. null

Data Dependent Power Use in Multipliers (Abstract)

Colin D. Walter , Comodo Research Laboratory
David Samyde , FemtoNano
pp. 4-12

Correctly Rounded Multiplication by Arbitrary Precision Constants (Abstract)

Nicolas Brisebarre , Universit? Jean Monnet
Jean-Michel Muller , CNRS, Laboratoire LIP (CNRS/ENS Lyon/INRIA/Universit? Lyon 1)
pp. 13-20

Decimal Multiplication with Efficient Partial Product Generation (Abstract)

Mark A. Erle , International Business Machines
Michael J. Schulte , University of Wisconsin - Madison
Eric M. Schwarz , International Business Machines
pp. 21-28

Long Number Bit-Serial Squarers (Abstract)

P. Kalivas , National Technical University of Athens
E. Chaniotakis , National Technical University of Athens
K. Z. Pekmestzi , National Technical University of Athens
pp. 29-36
Session 3: Round Table
Session 4: Applications

null (PDF)

pp. null

Floating-Point Fused Multiply-Add: Reduced Latency for Floating-Point Addition (Abstract)

Javier D. Bruguera , University of Santiago de Compostela
Tomás Lang , University of California at Irvine
pp. 42-51

Some Functions Computable with a Fused-Mac (Abstract)

Jean-Michel Muller , Laboratoire LIP (CNRS/ENS Lyon/Inria/Université Lyon 1)
Sylvie Boldo , Laboratoire LIP (CNRS/ENS Lyon/Inria/Université Lyon 1)
pp. 52-58

The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor (Abstract)

Scott R. Cottier , IBM Austin
Hiroo Nishikawa , IBM Japan Industrial Solution Co.
Sang H. Dhong , IBM Austin
Naoka Yano , Toshiba Corporation
Takashi Machida , Toshiba Corporation
Kevin D. Tran , IBM Austin
Yonetaro Totsuka , Sony Computer Entertainment of America
Silvia M. Mueller , IBM Boeblingen
Brad W. Michael , IBM Austin
Hwa-Joon Oh , IBM Austin
Tatsuya Namatame , Toshiba Corporation
Christian Jacobi , IBM Boeblingen
pp. 59-67

Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification (Abstract)

Abraham Ziv , IBM Research Lab in Haifa
Merav Aharoni , IBM Research Lab in Haifa
Sigal Asaf , IBM Research Lab in Haifa
Ilya Nikulshin , IBM Research Lab in Haifa
Ilan Nehama , IBM Research Lab in Haifa
Ron Maharik , IBM Research Lab in Haifa
pp. 76-83
Session 5: Panel

Arithmetic Interactions: From Hardware to Applications (PDF)

Bill Hay , IBM
David Hough , Sun Microsystems
Jason Riedy , University of California at Berkeley
Jim Thomas , Hewlett-Packard
Jeff Kidder , Intel
Guy Steele , Sun Microsystems
pp. 87
Session 6: Addition

null (PDF)

pp. null

Parallel Prefix Adder Design with Matrix Representation (Abstract)

Youngmoon Choi , Sun Microsystems, Inc.
Earl E. Swartzlander. Jr. , University of Texas at Austin
pp. 90-98

High-Radix Implementation of IEEE Floating-Point Addition (Abstract)

Peter-Michael Seidel , Southern Methodist University
pp. 99-106

Efficient Mapping of Addition Recurrence Algorithms in CMOS (Abstract)

Bart R. Zeydel , University of California at Davis
Vojin G. Oklobdzija , University of California at Davis
pp. 107-113

Synthesis of Saturating Counters Using Traditional and Non-Traditional Basic Counters (Abstract)

Zhaojun Wo , University of Massachusetts at Amherst
Israel Koren , University of Massachusetts at Amherst
pp. 114-121
Session 7: Division

null (PDF)

pp. null

Division by Constant for the ST100 DSP Microprocessor (Abstract)

Arnaud Tisserand , CNRS-ENS Lyon-INRIA-UCBL
Christophe Monat , STMicroelectronics
Jean-Michel Muller , CNRS-ENS Lyon-INRIA-UCBL
Benoît de Dinechin , STMicroelectronics
pp. 124-130

N-Bit Unsigned Division via N-Bit Multiply-Add (Abstract)

Arch D. Robison , Intel Corporation
pp. 131-139

A Hardware Algorithm for Integer Division (Abstract)

Naofumi Takagi , Nagoya University
Kazuyoshi Takagi , Nagoya University
Shunsuke Kadowaki , Nagoya University
pp. 140-146

Low Latency Digit-Recurrence Reciprocal and Square-Root Reciprocal Algorithm and Architecture (Abstract)

Alberto Nannarelli , Technical University of Denmark
Tomás Lang , University of California at Irvine
Paolo Montuschi , Politechnico di Torino
Elisardo Antelo , University of Santiago
pp. 147-154
Session 8: Cryptography and Galois Fields

null (PDF)

pp. null

Table Lookup Structures for Multiplicative Inverses Modulo 2^k (Abstract)

Mitchell Aaron Thornton , Southern Methodist University
Alex Fit-Florea , Southern Methodist University
David W. Matula , Southern Methodist University
pp. 156-163

Parallel Montgomery Multiplication in GF (2^k) Using Trinomial Residue Arithmetic (Abstract)

Graham A. Jullien , University of Calgary
Jean-Claude Bajard , LIRMM, CNRS UMR
Laurent Imbert , LIRMM, CNRS UMR and University of Calgary
pp. 164-171

An Improved Unified Scalable Radix-2 Montgomery Multiplier (Abstract)

David Harris , Harvey Mudd College
Mark Anders , Intel Circuits Research Laboratory
Steven Hsu , Intel Circuits Research Laboratory
Sanu Mathew , Intel Circuits Research Laboratory
Ram Krishnamurthy , Intel Circuits Research Laboratory
pp. 172-178

Fast Modular Reduction for Large Wordlengths via One Linear and One Cyclic Convolution (Abstract)

Tom Goff , University of Maryland at Baltimore County
Dhananjay S. Phatak , University of Maryland at Baltimore County
pp. 179-186
Session 9: Number Systems

null (PDF)

pp. null

Guaranteed Proofs Using Interval Arithmetic (Abstract)

Marc Daumas , CNRS-ENS Lyon-INRIA
César Muñoz , National Institute of Aerospace
Guillaume Melquiond , CNRS-ENS Lyon-INRIA
pp. 188-195

Arithmetic Operations in the Polynomial Modular Number System (Abstract)

Laurent Imbert , University of Calgary
Thomas Plantard , CNRS LIRMM UMR
Jean-Claude Bajard , CNRS LIRMM UMR
pp. 206-213

Error-Free Computation of 8x8 2-D DCT and IDCT Using Two-Dimensional Algebraic Integer Quantization (Abstract)

Graham Jullien , University of Calgary
Khan Wahid , University of Calgary
Vassil Dimitrov , University of Calgary
pp. 214-221

Quasi-Pipelined Hash Circuits (Abstract)

Luigi Dadda , ALaRI-USI and Politecnico di Milano
Marco Macchetti , Politecnico di Milano
pp. 222-229
Session 10: Function Evaluation and Table Methods, Part 1

null (PDF)

pp. null

Efficient Function Approximation Using Truncated Multipliers and Squarers (Abstract)

E. George Walters III , Lehigh University
Michael J. Schulte , University of Wisconsin-Madison
pp. 232-239

Single Precision Reciprocals by Multipartite Table Lookup (Abstract)

David W. Matula , Southern Methodist University
Peter Kornerup , University of Southern Denmark
pp. 240-248

A Linear-System Operator Based Scheme for Evaluation of Multinomials (Abstract)

Miloš Ercegovac , University of California at Los Angeles
Pavan Adharapurapu , University of California at Los Angeles
pp. 249-256

Gal's Accurate Tables Method Revisited (Abstract)

Paul Zimmermann , INRIA Lorraine/LORIA
Damien Stehlé , UHP/LORIA
pp. 257-264
Session 11: Function Evaluation and Table Methods, Part 2

null (PDF)

pp. null

A Fast-Start Method for Computing the Inverse Tangent (Abstract)

Peter Markstein , Hewlett-Packard Laboratories
pp. 266-271

A High-Performance Area-Efficient Multifunction Interpolator (Abstract)

Stuart F. Oberman , NVIDIA Corporation
Michael Y. Siu , NVIDIA Corporation
pp. 272-279

Low Latency Pipelined Circular CORDIC (Abstract)

Elisardo Antelo , University of Santiago
Julio Villalba , University of Málaga
pp. 280-287

Towards the Post-Ultimate libm (Abstract)

Florent de Dinechin , LIP, ÉNS de Lyon
Alexey V. Ershov , Intel Corporation
Nicolas Gast , École Normale Supérieure
pp. 288-295
Author Index

Author Index (PDF)

pp. 297-298
97 ms
(Ver 3.1 (10032016))