The Community for Technology Leaders
1985 IEEE 7th Symposium on Computer Arithmetic (1985)
Urbana, IL, USA
June 4, 1985 to June 6, 1985
TABLE OF CONTENTS

[Front cover] (PDF)

pp. c1

Foreword (PDF)

pp. iii

Table of contents (PDF)

pp. ix-xi

Some optimal schemes for ALU implementation in VLSI technology (PDF)

Vojin G. Oklobdzija , IBM T. J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598
Earl R. Barnes , IBM T. J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598
pp. 2-8

Regular, area-time efficient carry-lookahead adders (PDF)

Tin-Fook Ngai , Electrical Engineering, Stanford University, CA
Mary Jane Irwin , Computer Science, Penn State University, PA
pp. 9-15

A multioperand two's complement addition algorithm (PDF)

Hideaki Kobayashi , Department of Electrical and Computer Engineering University of South Carolina Columbia, SC 29208
pp. 16-19

Improved normalization results for digit on-line arithmetic (PDF)

Richard J. Zaccone , Department of Computer Science, The Pennsylvania State University, University Park, PA 16802
Jesse L. Barlow , Department of Computer Science, The Pennsylvania State University, University Park, PA 16802
pp. 20-27

Efficient serial-parallel arrays for multiplication and addition (PDF)

L. Cirainiera , Dipartimento di Automatica e Informatica - Politecnico di Torino-Torino, Italy
A. Serra , Dipartimento di Automatica e Informatica - Politecnico di Torino-Torino, Italy
pp. 28-35

Design of a fast inner product processor (PDF)

S. P. Smith , School of Electrical Engineering, Cornell University, Ithaca, New York 14853
H. C. Torng , School of Electrical Engineering, Cornell University, Ithaca, New York 14853
pp. 38-43

Design for a recursive parallel multiplier (PDF)

Renato De Mori , Department of Computer Science, Concordia University, 1455 De Maisonneuve Blvd West, Montréal, Québec, Canada, H3G1M8
Regis Cardin , Department of Computer Science, Concordia University, 1455 De Maisonneuve Blvd West, Montréal, Québec, Canada, H3G1M8
pp. 44-50

A division algorithm with prediction of quotient digits (PDF)

M. D. Ercegovac , Computer Science Department University of California, Los Angeles
T. Lang , Computer Science Department University of California, Los Angeles
pp. 51-56

Fast multipliers for two's-complement numbers in serial form (PDF)

Luigi Dadda , Department of Electronics - Politecnico di Milano P.zza L. da Vinci 32, I-20133 Milano - Italy
pp. 57-63

Radix 16 SRT dividers with overlapped quotient selection stages: A 225 nanosecond double precision divider for the S-1 Mark IIB (PDF)

George S. Taylor , Computer Science Division, EECS, University of California, Berkeley, California 94720
pp. 64-71

Axiomatizations of floating point arithmetics (PDF)

Wlodzimierz Zadrozny , North Texas State University Department of Computer Science Denton,. Texas 76203-3886
pp. 74-81

High-speed computation of unary functions (PDF)

M. Ohhashi , Toshiba Corporation, Kawasaki, 210 Japan
R. K. Schneider , Lockheed Electronics Co., Plainfield, NJ 07061
pp. 82-85

Floating-point arithmetic on a reduced-instruction-set processor (PDF)

Thomas Gross , Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213
pp. 86-92

VLSI floating-point processors (PDF)

Jan Fandrianto , WEITEK CORPORATION, 501 Mercury Drive Sunnyvale, California 94086
B. Y. Woo , WEITEK CORPORATION, 501 Mercury Drive Sunnyvale, California 94086
pp. 93-100

A family of CMOS floating point arithmetic chips (PDF)

John A. Eldon Manager , Advanced Development, TRW LSI Products La Jolla, California
pp. 101-107

Systolic polynomial evaluation and matrix multiplication with multiple precision (PDF)

Jonathan Schaeffer , VLSI Research Group, Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada T6G 2H1
Darrell Makarenko , VLSI Research Group, Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada T6G 2H1
pp. 110-117

A systolic algorithm for integer GCD computation (PDF)

R. P. Brent , Centre for Mathematical Analysis Australian National University Canberra, A.C.T. 2601 Australia
H. T. Rung , Department of Computer Science Carnegie-Mellon University Pittsburgh, Pennsylvania 15213 U.S.A.
pp. 118-125

Algorithm partition for a fixed-size VLSI architecture using space-time domain expansion (PDF)

H. D. Cheng , School of Electrical Engineering, Purdue University, West Lafayette, IN 47907
K. S. Fu , School of Electrical Engineering, Purdue University, West Lafayette, IN 47907
pp. 126-132

Prime Factor DFT parallel processor using wafer scale integration (PDF)

Edward T. Chow , University of Southern California Department of Electrical Engineering - Systems Los Angeles, CA 90089-0781
Dan I. Moldovan , University of Southern California Department of Electrical Engineering - Systems Los Angeles, CA 90089-0781
pp. 133-140

The modified CORDIC algorithm (PDF)

Asif Naseem , Department of Electrical Engineering and Systems Science, Michigan State University East Lansing, Michigan 48824
P. David Fisher , Department of Electrical Engineering and Systems Science, Michigan State University East Lansing, Michigan 48824
pp. 144-152

Polynomial Transformer (PDF)

Takakazu Kurokawa , Dept. of Electrical Engineering Keio University 3-14-1 Hiyoshi, Yokohama 223, Japan
Hideo Aiso , Dept. of Electrical Engineering Keio University 3-14-1 Hiyoshi, Yokohama 223, Japan
pp. 153-158

The VLSI implementation of a square root algorithm (PDF)

J. Bannur , Department of Electrical Engineering - Systems, University of Southern California, Los Angeles, CA 00089
A. Varma , Department of Electrical Engineering - Systems, University of Southern California, Los Angeles, CA 00089
pp. 159-165

A pipeline architecture for computing cumulative hypergeometric distributions (PDF)

Xiaobo Li , Department of Computer Science, Wichita State University Wichita, KS 67208
Lionel M. Ni , Department of Computer Science, Michigan State University, East Lansing, MI 48824
pp. 166-172

Squarers for binary numbers in serial form (PDF)

Luigi Dadda , Department of Electronics - Politecnico di Milano P.zza L. da Vinci 32, I-20133 Milano - Italy
pp. 173-179

Multi — Input residue arithmetic utilizing read — Only associative memory (PDF)

Christos A. Papachristou , Computer Engineering and Science Department, Center for Automation and Intelligent System Research, Case Western Reserve University, Cleveland, Ohio 44106
pp. 182-188

Binary paradigm and systolic array implementation for residue arithmetic (PDF)

David Y. Y. Yun , Department of Computer Science and Engineering Southern Methodist University Dallas, Texas 75275
Chang N. Zhang , Department of Computer Science and Engineering Southern Methodist University Dallas, Texas 75275
pp. 189-193

Rationally biased arithmetic (PDF)

Warren E. Ferguson , Computer Science and Engineering, Southern Methodist University, Dallas, Texas 75275
David W. Matuja , Mathematics, Southern Methodist University, Dallas, Texas 75275
pp. 194-202

VLSI residue multiplier modulo a Fermat number (PDF)

I. S. Reed , Department of Electrical Engineering, University of Southern California, Los Angeles, CA 90089
T. K. Truong , Department of Electrical Engineering, University of Southern California, Los Angeles, CA 90089
J. J. Chang , Jet Propulsion Laboratory, 4800 Oak Grove Drive, Pasadena, CA 91109
H. M. Shao , Jet Propulsion Laboratory, 4800 Oak Grove Drive, Pasadena, CA 91109
I. S. Hsu , Jet Propulsion Laboratory, 4800 Oak Grove Drive, Pasadena, CA 91109
pp. 203-206

Finite precision lexicographic continued fraction number systems (PDF)

Peter Kornerup , Aarhus University, Aarhus, Denmark
David W. Matula , Southern Methodist University, Dallas, Texas 75275
pp. 207-213

Three dimensional IC's and an application to high speed image processor (PDF)

Kenji Taniguchi , VLSI Research Center, Toshiba Corporation Komukai, Toshiba-cho, Saiwai-ku, Kawasaki, 210 Japan
pp. 216-222

Arithmetic for high speed FFT implementation (PDF)

Earl E. Swartzlander , TRW Defense Systems Group Redondo Beach, California
John Eldon , TRW LSI Products La Jolla, California
pp. 223-230

The design of a vector-radix 2DFFT chip (PDF)

Wentai Liu , Department of Electrical and Computer Engineering, North Carolina State University, Raleigh, NC. 27695-7911
J. C. Duh , Department of Electrical and Computer Engineering, North Carolina State University, Raleigh, NC. 27695-7911
Daniel E. Atkins , Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI. 48109
pp. 231-236

PAPIA: Pyramidal architecture for parallel image analysis (PDF)

V. Cantoni , Department of Computer and System Science - Universita di Pavia, Strada Nuova 106/c - 27100 Pavia - Italy
M. Ferretti , Department of Computer and System Science - Universita di Pavia, Strada Nuova 106/c - 27100 Pavia - Italy
S. Levialdi , Department of Mathematics - Universita di ROMA, P.zza A. Moro 2 - 00185 Roma - Italy
R. Stefanelli , Department of Electronics - Politecnico di Milano, P.zza L. da Vinci 32, I-20133 Milano - Italy
pp. 237-242

A more efficient residue arithmetic implementation of the FFT (PDF)

Fred J. Taylor , Department of Electrical Engineering University of Florida Gainesville, FL 32611
pp. 243-249

On the structure of parallelism in a highly concurrent PDE solver (PDF)

Dennis Gannon , Department of Computer Sciences Purdue University
pp. 252-259

A parallel method for computing the generalized singular value decomposition (PDF)

Franklin T. Luk , School of Electrical Engineering, Cornell University-Ithaca, New York 14853
pp. 260-265

Multiprocessors for evaluating compound arithmetic functions (PDF)

Kai Hwang , Computer Research Institute, University of Southern California Los Angeles, CA 90089-0781
Zhiwei Xu , Computer Research Institute, University of Southern California Los Angeles, CA 90089-0781
pp. 266-275

Multiple error correction and additive overflow detection with magnitude indices in residue code (PDF)

Saroj Kaushik , Department of Computer Science and Engineering Indian Institute of Technology, Delhi Hauz Khas, New Delhi-110016, India
pp. 278-284

Arithmetic algorithms for operands encoded in two-dimensional low-cost arithmetic error codes (PDF)

Algirdas Avizienis , UCLA Computer Science Department, University of California, Los Angeles, CA 90H24, USA
pp. 285-292

A class of A(N + C) codes and its properties (PDF)

T. R. N. Rao , Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, Louisiana 70504-4330
Kasem Vathanvit , Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, Louisiana 70504-4330
pp. 293-294

Maximal redundancy signed-digit systems (PDF)

Tien Chi Chen , The Chinese University of Hong Kong Shatin, Hong Kong
pp. 296-299

DRAFT: A dynamically reconfigurable processor for integer arithmetic (PDF)

Donald M. Chiarulli , Department of Computer Science, Louisiana State University, Baton Rouge, Louisiana 70803
W. G. Rudd , Department of Computer Science, Louisiana State University, Baton Rouge, Louisiana 70803
Duncan A. Buell , Department of Computer Science, Louisiana State University, Baton Rouge, Louisiana 70803
pp. 309-317

ACRITH: High-Accuracy Arithmetic an advanced tool for numerical computation (PDF)

J. H. Bleher , IBM Development and Research, 7030 Boeblingen, Germany
A. E. Roeder , IBM Development and Research, 7030 Boeblingen, Germany
S. M. Rump , IBM Development and Research, 7030 Boeblingen, Germany
pp. 318-321

Anomalies in the IBM ACRITH package (PDF)

W. Kahan , Mathematics Department, University of California at Berkeley, Version dated Mar. 13, 1985
E. LeBlanc , Mathematics Department, University of California at Berkeley, Version dated Mar. 13, 1985
pp. 322-331

Complex interval division with maximum accuracy (PDF)

R. Lohner , Institute for Applied Mathematics, University of Karlsruhe 7500 Karlsruhe, West Germany
J. Wolff V. Gudenberg , Institute for Applied Mathematics, University of Karlsruhe 7500 Karlsruhe, West Germany
pp. 332-336

A fast algorithm for the symmetric eigenvalue problem (PDF)

J. J. Dongarra , Mathematics and Computer Science Division Argonne National Laboratory 9700 South Cats Avenue Argonne, Illinois 60439
D. C. Sorcnsen , Mathematics and Computer Science Division Argonne National Laboratory 9700 South Cats Avenue Argonne, Illinois 60439
pp. 337-342

Author index (PDF)

pp. 343
89 ms
(Ver 3.3 (11022016))