Menu:
Behrooz Parhami's ECE 252B Course Page for Spring 2020
Computer Arithmetic
Page last updated on 2020 June 12
Enrollment code: 12682
Prerequisite: ECE 154A (in lieu of ECE 152A and 152B)
Class meetings: MW 12:00-1:30, Phelps 1431 (see special note under announcements)
Instructor: Professor Behrooz Parhami
Open office hours: MW 12:00-1:30 (via Zoom; note changes)
Course forum on GauchoSpace: For messaging/discussion only
Course announcements: Listed in reverse chronological order
Course calendar: Schedule of lectures, homework, and exams
Homework assignments: Four assignments, worth 40% in all
Exams: None for spring 2020
Research paper: Worth 60% of course grade
Research paper guidlines: Brief guide to format and contents
Poster presentation tips: Brief guide to format and structure
Policy on academic integrity: Please read very carefully
Grade stats: Range, mean, etc. for homework & exam grades
References: Textbook and other information sources
Lecture slides: Available on the textbook's Web page
Miscellaneous information: Motivation, catalog entry, history
Course Announcements
2020/06/12: The spring 2020 offering of ECE 252B is officially over and course grades have been reported to the Registrar. I hope you enjoyed the course, despite the very challenging circumstances we had this quarter. Perhaps I will get to interact with some of you in person, as you take more graduate-level classes, enroll in directed research, or need other forms of advice/supervision. Have a pleasant summer! If you find yourself looking for technical activities during the summer months, check out the Technical Talks of IEEE's Central Coast Section.
2020/05/21: HW4 has been posted to the homework area below. Video link for Lectures 18 (6/01) and 19 (6/03; the last one for the course) have been posted. If questions arise, as you work on finalizing your research paper for submission by the 6/10 deadline, please join my Zoom office hours, which I will maintain until the finals week, or send me e-mail to set up another meeting time. The required Zoom meeting link has been sent to you via GauchoSpace.
2020/05/05: HW3 has been posted to the homework area below. Video link for Lecture 13 (5/11) has been posted and Lecture 14's (5/13) will be posted in a couple of days. The video link for Lecture 11, which was broken, has been fixed.
2020/05/01: Links to lectures 11 and 12 have been posted to the Course Calendar area. Preliminary research references will be due on W 5/6. This is to ensure satisfactory progress toward the final research report and for me to provide help, if needed.
2020/04/23: With links to lectures 9 and 10 already posted or forthcoming in a couple of days, and research topics assigned to all students, we are approaching the midpoint of the spring quarter. Hope all of you are doing okay in dealing with challenges of on-line instruction alongside personal/family health concerns. Please don't hesitate to reach out to me if you need any help in academic or other matters.
2020/04/18: HW2 has been posted to the homework area below. Lecture videos for the week of 4/20-24 have also been posted.
2020/04/09: As several of you have already sent me your research topic preferences before the deadline of 4/15, I have decided not to wait for the scheduled 4/22 topic assignment date and to begin assigning topics to students now, so as to provide more time for doing the work and preparing the report. In case of multiple students having the same first choice, I will assign the topic to the student with an earlier selection. Please send me your top three choices now, if you want to get started on your research.
2020/04/08: Please refer to GauchoSpace for new office-hour arrangements.
2020/04/05: Lectures 1-4 of the course are now available. See the links under Course Calendar.
2020/03/28: HW1 has been posted to the homework area below. Fifteen research topics, marked as "Available for S'20," have been chosen for this quarter (5, 5a, 6a, 9a, 12, 19, 21, 22, 27, 33a, 36, 40a, 46, 52, 55). For each topic, one or more initial references are specified to help define the topic and to get you started on your work. Once you have studied the topics, please e-mail me your top 3 choices in order of preferences and I will try to assign one of those topics to you. Given that the deadline for topic selection is 4/22, you should send your top 3 choices to me by 4/15.
2020/03/26: Links to the videos of the first two lectures, for the week of 3/30-4/3, have been posted to the Course Calendar section below. I will try to post the videos for each week by the weekend preceding it. This coming weekend, HW1 will be posted. I am working on finalizing the list of available research topics by the coming weekend as well.
2020/03/24: Important special announcement about the spring 2020 offering of ECE 252B:
a. About your instructor: I have been at UCSB since 1988 (almost 32 years) and, before that, taught at other institutions for 15 years. I got my PhD at UCLA in 1973. I am looking forward to celebrating my 50th year as a professor in March 2023!
b. On coronavirus and COVID-19: We are all experiencing enormous difficulties, as we adjust to social-distancing and other restrictions and worry about our own health and the health of our loved ones. I am working hard to master the new style of instruction, but there will be rough edges at the outset. Meanwhile, I will try to be as flexible as possible to accommodate any special needs.
Your photo: Those of you who don't have a photo on GauchoSpace, please consider adding one, to make it easier for us to connect.
d. Enrollment: Course enrollment stands at 13 as of today.
e. First lecture: Please watch this 81-minute video containing the first lecture.
f. The remaining lectures: I will record the remaining lectures as YouTube videos, so there will be no live questioning or discussion. I will accept your questions via e-mail (for quick questions needing a brief answer) or during my office hours (for lengthier ones). This is one of the compromises I have had to make in order to quickly adjust to the new mode of instruction. Links to lecture videos will be provided under Course Calendar.
g. Submissions: You will submit solutions to homework assignments and various research reports as PDF attachments to e-mails. Please use a descriptive subject line to let me quickly identify that your e-mail is related to ECE 252B (I will be receiving many e-mails this quarter, given my ECE 1B freshman seminar with an enrollment of ~100).
h. Office hours: I have 3 general office hours, M 3:00-4:00 and W 3:00-5:00 (HFH 5155). In addition, my regular lecture times for ECE 252B, MW 12:00-1:30, will be devoted to course-specific office hours. So, we are using what is known as the "flipped classroom model": Lectures watched ahead of time, with questions/discussion during the scheduled lecture time.
2020/03/13: Welcome to the Web page for the graduate course ECE 252B in spring 2020. As of today, class enrollment stands at 12. Information on the spring 2019 and earlier offerings of the course is available under the "History" section at the end of this page. Throughout the current quarter, this "Course Announcements" section will alert you to significant additions or changes to this Web page. Please visit regularly.
Course Calendar
Course lectures, homework assignments, and research milestones have been scheduled as follows. This schedule will be strictly observed. Please review the first two chapters in the textbook (before the first class, if possible). These chapters contain material that you should already know. PowerPoint and pdf files of course lectures, including skipped material in Chapters 1-2, can be found on the textbook's web page. [Introductory video]
Day & Date (book chapters) Lecture/discussion topic [Homework posted/due] {Special notes}
M 03/30 (ch. 3) Redundant number representation {Lecture 1 video (81 min.)}
W 04/01 (ch. 4) Residue number systems {Lecture 2 video (74 min.)}
M 04/06 (Ch. 5) Basic addition and counting [HW1 posted] {Lecture 3 video (69 min.)}
W 04/08 (ch. 6) Carry-lookahead adders {Lecture 4 video (86 min.)}
M 04/13 (ch. 7) Variations in fast adders {Lecture 5 video (91 min.)}
W 04/15 (ch. 8) Multioperand addition [HW1 due] {Lecture 6 video (85 min.)} {Research topic preferences}
M 04/20 (ch. 9) Basic multiplication schemes [HW2 posted] {Lecture 7 video (66 min.)}
W 04/22 (ch. 10) High-radix multipliers {Lecture 8 video (79 min.)} {Research topics assigned}
M 04/27 (ch. 11) Tree and array multipliers {Lecture 9 video (85 min.)}
W 04/29 (ch. 12) Variations in multipliers [HW2 due] {Lecture 10 video (74 min.)}
M 05/04 (ch. 13) Basic division and some speedup methods {Lecture 11 video (92 min.)}
W 05/06 (ch. 14) High-radix division {Lecture 12 video (84 min.)} {Preliminary references due}
M 05/11 (ch. 15) Variations in dividers [HW3 posted] {Lecture 13 video (65 min.)}
W 05/13 (ch. 16) Division by convergence {Lecture 14 video (79 min.)}
M 05/18 (ch. 17) Floating-point number representation {Lecture 15 video (86 min.)} {Abstract & ref's due}
W 05/20 (ch. 18) Floating-point operations [HW3 due] {Lecture 16 video (75 min.)}
M 05/25 (No lecture) Memorial Day observance [HW4 posted]
W 05/27 (ch. 19-20) Errors, precision, and certifiability {Lecture 17 video (82 min.)}
M 06/01 (ch. 21) Square-rooting methods {Lecture 18 (89 min.)}
W 06/03 (ch. 22-23) CORDIC algorithms and function evaluation [HW4 due] {Lecture 19 video (84 min.)}
W 06/10 {Research paper due by midnight}
W 06/17 {Course grades due by midnight}
Homework Assignments
-Turn in your solutions as a PDF file attached to an e-mail sent by the due date/time.
-Because solutions will be handed out on the due date, no extension can be granted.
-Include your name, course name, and assignment number at the top of the first page.
-If homework is handwritten and scanned, make sure that the PDF is clean and legible.
-Although some cooperation is permitted, direct copying will have severe consequences
Homework 1: Number systems, addition/subtraction (ch. 1-7, due W 2020/04/14, 12:00 noon)
Do the following problems from the textbook: 1.1, 3.7, 4.11, 5.21, 6.13, 7.6
Homework 2: Multioperand addition, multiplication (ch. 8-11, due W 2020/04/29, 12:00 noon)
Do the following problems from the textbook: 8.20, 8.29, 9.4c, 9.14abe, 10.6ab, 11.20
Homework 3: Variations in multiplication, division (ch. 12-16, due W 2020/05/20, 12:00 noon)
Do any 5 of the following 6 problems from the textbook: 12.12ab, 12.20, 13.12a, 14.3ab, 15.13, 16.17
Homework 4: Floating-point arithmetic, square-rooting (ch. 17-21, due W 2020/06/03, 12:00 noon)
Do the following problems from the textbook: 17.7, 18.9, 19.7, 19.28 (defined below), 20.2, 21.20
19.28 Extreme floating-point errors
Floating-point numbers are quite accurate, having relative errors of about 10^(–38) and 10^(–308) in short and long IEEE formats, respectively. Yet, even such small errors can be problematic in some applications. In late 2019, a group of researchers from University College London and Tufts University presented results on simulating a simple one-parameter chaotic system using floating-point computation, finding that, for some values of the parameter, computer predictions are totally wrong, while for other choices the calculations deviate by up to 15% [Bogh19]. Write a 2-page report on the study's method and results.
[Bogh19] B. M. Boghosian, P. V. Coveney, and H. Wang, "A New Pathology in the Simulation of Chaotic Dynamical Systems on Digital Computers," Advanced Theory and Simulations, 2019; 1900125 DOI: 10.1002/adts.201900125
Sample Exams and Study Guide [not applicable to spring 2020]
The following sample exams (from spring 2007 and 2008) are meant to indicate the types and levels of problems, rather than the coverage (which is outlined in the course calendar). Students are responsible for all sections and topics (in the textbook and class handouts) that are not explicitly excluded in the study guides that follow the sample exams, even if the material was not covered in class lectures.
Sample Midterm Exam (105 minutes)
Problem 1 [15 points] Defining concepts and terms. Define each of the following concepts/terms precisely and concisely within the space provided (about 1.5 inches per term) [3 points each]: Manchester carry chain; Multiplier recoding; ulp; Conditional-sum adder; Parallel prefix graph
Problem 2 [10 points] Number representation. Show that flipping (complementing) the sign bit of k-bit numbers in 2's-complement format results in biased representation and determine the bias amount that characterizes this new representation.
Problem 3 [20 points] Basic design concepts. Draw diagrams showing each of the following. No explanation is necessary; the diagrams should be self-explanatory.
a. How an ordinary binary adder can be augmented to perform addition or subtraction of 2's-complement numbers under the control of an add'/sub signal (0 means "add", 1 means "subtract").
b. How 2-bits-at-a-time or radix-4 sequential multiplication might be performed at high speed without Booth's recoding and without precomputing 3 times the multiplicand.
Problem 4 [15 points] Carry-skip addition.
a. Show that the optimal block width b in a fixed-block carry-skip adder is proportional to the square root of the word width k. [10 points]
b. Briefly discuss why carry-skip adders are of interest at all, given that faster logarithmic-time adders are available. [5 points]
Problem 5 [15 points] Multioperand addition. The following describes a multioperand addition process in tabular form:
0 0 8 8 8 8 8 8 8 8
0 2 6 6 6 6 6 6 6 4
0 4 4 4 4 4 4 4 3 2
1 3 3 3 3 3 3 3 2 1
2 2 2 2 2 2 2 2 1 1
a. Explain the process described by this table. [5 points]
b. In the hardware implementation implied by the table, what component types are used and how many of each? Be as precise as possible in specifying the components used. [10 points]
Problem 6 [25 points] Two's-complement multiplication.
a. Represent x = 3, y = −3, and z = 5 as 4-bit 2's-complement numbers. [5 points]
b. Using the right-shift algorithm, perform x times z, using the representations of part a, to get the 8-bit product p = 15. [10 points]
c. Using the left-shift algorithm, perform y times z, to get the 8-bit product p' = −15. [10 points]
Sample Final Exam (2.5 hours)
Do Problems 1-2, plus 5 of the remaining 6. If all optional problems are answered, the first 5 will be graded.
Problem 1 [15 points]
a. The standard 2-way carry operator has two pairs of inputs and a pair of outputs. Present a suitable generalization to an h-way operator with h pairs of inputs.
b. Name and justify one, and only one, advantage of each of the following dividers over the other two: high-radix, array, convergence.
c. Explain why square-rooting cannot be viewed as a special case of division, in the same way that squaring is a special case of multiplication.
Problem 2 [10 points] Problem 5.18c from the textbook.
Problem 3 [15 points] Problem 7.28 from the textbook.
Problem 4 [15 points] Problem 11.22 from the textbook.
Problem 5 [15 points] Problem 15.6 from the textbook.
Problem 6 [15 points] Problem 19.2 from the textbook.
Problem 7 [15 points] Problem 21.18 from the textbook.
Problem 8 [15 points] Problem 22.20abc from the textbook.
Midterm Exam Study Guide
The following textbook sections are excluded from the midterm exam: 3.4-3.6, 4.4-4.6, 6.3, 7.2, 10.5
Final Exam Study Guide
In addition to the midterm exclusions, the following textbook sections are excluded from the final exam covering Chapters 3-21: 15.4, 15.6, 19.4, 19.5, 19.6, 20.2, 21.4, 21.6
Research Paper and Presentation
Each student will review a subfield of computer arithmetic or do original research on a selected and approved topic. A list of research topics is provided below ("TBD" designates topics that are not available for the current quarter); however, students should feel free to propose their own topics for approval. A publishable report earns an "A" for the course, regardless of homework and midterm grades. See the course calendar for research milestones and due dates. Consult Research Paper Guidlines for formatting tips.
Topics for Part I of the Textbook: Number Representation
01. Implementation of Arithmetic Operations in Mechanical Calculators (Assigned to: TBD)
02. The Need for, and Practicality of, Decimal Computer Arithmetic in Hardware (Assigned to: TBD)
03. Practical Implementations of Ternary Computer Arithmetic (Assigned to: TBD)
04. A Comparison of Carry-Save and Borrow-Save Number Systems and Arithmetic (Assigned to: TBD)
05. Modulo-(2a+1) Number Representations and Arithmetic (Assigned to: Available for S'20)
H. T. Vergos and C. Efstathiou, "Efficient Modulo 2n + 1 Adder Architectures," Integration, the VLSI J., Vol. 42, pp. 149-157, 2009.
G. Jaberipur and B. Parhami, "Unified Approach to the Design of Modulo-(2n±1) Adders Based on Signed-LSB Representation of Residues," Proc. 19th IEEE Int'l Symp. Computer Arithmetic, 8-10 June 2009, to appear. [Preprint available via B. Parhami's publications Web page.]
05a. Robust Residue Number Systems and Arithmetic (Assigned to: Min Jian J. Yang)
B. Parhami, "Digital Arithmetic in Nature: Continuous-Digit RNS," The Computer J., Vol. 58, No. 5, pp. 1214-1223, May 2015.
L. Xiao, X.-G. Xia, and H. Huo, "Toward Robustness in Residue Number Systems," IEEE Trans. Signal Processing, Vol. 65, No. 6, pp. 1497-1510, March 2017.
06. Number Representation with Discrete Logarithms (Assigned to: TBD)
A. Fit-Florea, L. Li, M. A. Thornton, and D. W. Matula, "A Discrete Logarithm Number System for Integer Arithmetic Modulo 2k: Algorithms and Lookup Structures," IEEE Trans. Computers, Vol. 58, No. 2, pp. 163-174, February 2009.
06a. Arithmetic in the Human Brain (Assigned to: Jennifer Volk)
S. Cordes, C. R. Gallistel, R. Gelman, and P. Latham, P., "Nonverbal Arithmetic in Humans: Light from Noise," Perception & Psychophysics, Vol. 69, No. 7, pp. 1185-1203, 2007.
S. Dehaene, "The Neural Basis of the Weber-Fechner Law: A Logarithmic Mental Number Line," Trends in Cognitive Sciences, Vol. 7, No. 4, pp. 145-147, 2003.
A. Nieder and E. K. Miller, "Coding of Cognitive Magnitude: Compressed Scaling of Numerical Information in the Primate Prefrontal Cortex," Neuron, Vol. 37, pp. 149-157, 2003. {The mental number line seems to be logarithmic rather than linear.}
M. Piazza and S. Dehaene, "From Number Neurons to Mental Arithmetic: The Cognitive Neuroscience of Number Sense," The Cognitive Neurosciences, ed. by M. S. Gazzaniga, et al., pp. 865-77, 3rd ed., 2004.
R. Sarpeshkar, "Analog Versus Digital: Extrapolating from Electronics to Neurobiology," Neural Computation, Vol. 10, pp. 1601-1638, 1998.
Topics for Part II of the Textbook: Addition/Subtraction
07. Variable-Block Carry-Lookahead Adders (Assigned to: TBD)
V. Kantabutra, "A Recursive Carry-Lookahead/Carry-Select Hybrid Adder," IEEE Trans. Computers, Vol. 43, No. 12, pp. 1495-1499, December 1993.
08. Parallel-Prefix Ling Adders (Assigned to: TBD)
N. Burgess, "Implementation of Recursive Ling Adders in CMOS VLSI," Proc. 43rd Asilomar Conf. Signals, Systems, and Computers, November 2009, pp. 1777-1781.
09. Design of Optimal Adders with Input Timing Profile (Assigned to: TBD)
09a. Design of Approximate Adders for Speed and Energy Efficiency (Assigned to: Zhaodong Chen)
[Path18] R. Pathak, "A Review of Approximate Adders for Energy-Efficient Digital Signal Processing," Int'l Research J. Engineering and Technology, Vol. 5, No. 10, pp. 1895-1900, October 2018.
10. Saturating Two-Operand and Multioperand Adders (Assigned to: TBD)
11. Saturating Parallel Counters and Compressors (Assigned to: TBD)
12. Nonbinary Parallel Counters: The Ternary Example (Assigned to: Available for S'20)
M. De and B. P. Sinha, "Fast Parallel Algorithm for Ternary Multiplication Using Multivalued I2L Technology," IEEE Trans. Computers, Vol. 43, No. 5, pp. 603-607, May 1994.
13. Implementation of Parallel Counters by Means of Sorting Networks (Assigned to: TBD)
13a. Multiplexer-Based Designs for Parallel Counters and Compressors (Assigned to: TBD)
W. Hong, R. Modugu, and M. Choi, "Efficient Online Self-Checking Modulo 2^n + 1 Multiplier Design," IEEE Trans. Computers, Vol. 60, No. 9, pp. 1354-1365, September 2011.
14. Counting Networks: Design Methods and Applications (Assigned to: TBD)
Topics for Part III of the Textbook: Multiplication
15. Trade-offs in Compensation Methods for Truncated Multipliers (Assigned to: TBD)
N. Petra, D. De Caro, V. Garofalo, E. Napoli, and A. G. M. Strollo, "Truncated Binary Multipliers with Variable Correction and Minimum Mean Square Error," IEEE Trans. Circuits and Sustems I, Vol. 57, No. 6, pp. 1312-1325, June 2010.
16. Truncated Squarers and Cubers (Assigned to: TBD)
E. G. Walters, M. J. Schulte, and M. G. Arnold, "Truncated Squarers with Constant and Variable Correction," Advanced Signal Processing Algorithms, Architectures, and Implemenatations XIV (Proc. SPIE Conf. 5559), 2004, pp. 40-50.
17. Multimode Multiplication and Squaring Circuits (Assigned to: TBD)
K. E. Wires, M. J. Schulte, L. P. Marquette, and P. I. Balzola, "Combined Unsiged and Two's Complement Squarers," Proc. 33rd Asilomar Conf. Signals Systems and Computers, 1999, pp. 1215-1219.
18. Design of Cubing Circuits (Assigned to: TBD)
19. Generalized Recursive Multipliers Built of Possibly Nonsquare Modules (Assigned to: Available for S'20)
B. Parhami, "A Theoretical Analysis of Square versus Rectangular Component Multipliers in Recursive Multiplication,"
Proc. 50th Asilomar Conf. Signals, Systems, and Computers, 2016, pp. 157-161.
20. Merged Arithmetic: The Case of Add-Multiply-Add Circuits (Assigned to: TBD)
E. Hakkennes and S. Vassiliadis, "Multimedia Execution Hardware Accelerator," J. VLSI Signal Processing, Vol. 28, No. 3, pp. 221-234, July 2001.
21. A Comparison of Hardware Multipliers Used in Microprocessors (Assigned to: Available for S'20)
G. Colon-Bonet and P. Winterrowd, "Multiplier Evolution: A Family of Multiplier VLSI Implementations," Computer J., Vol. 51, No. 5, pp. 585-594, 2008.
22. A Survey of Multiplier Circuits in Digital Signal Processors (Assigned to: Jeongjun Lee)
J. M. Jou, S. R. Kuang, and R. D. Chen, "Design of Low-Error Fixed-Width Multipliers for
DSP Applications," IEEE Trans. Circuits and Systems II, Vol. 46, pp. 836-842, June 1999.
S. J. Jou, M.-H. Tsai, and Y.-L. Tsao, "Low-Error Reduced-Width Booth Multipliers for DSP Applications," IEEE Trans. Circuits and Systeme I, Vol. 50, No. 11, pp. 1470-1474, November 2003.
Topics for Part IV of the Textbook: Division
23. Radix-16 SRT Division: Algorithm and Implementations (Assigned to: TBD)
[Intel's] New Radix-16 Divider
24. A Survey of the Applications of Reciprocation and Square-Rooting (Assigned to: TBD)
25. Combinational Circuits for Fast Approximate Reciprocation (Assigned to: TBD)
P.-M. Seidel, "High-Speed Redundant Reciprocal Approximation," Integration, The VLSI Journal, Vol. 28, No. 1, pp. 1-12, September 1999.
26. On-the-Fly Conversion of Redundant Quotients into Nonredundant Form (Assigned to: TBD)
27. Practical Hardware Implementation of Montgomery Modular Multiplication (Assigned to: Available for S'20)
S. Fatemi, M. Zare, A. F. Khavari, and M. Maymandi-Nejad, "Efficient Implementation of Digit-Serial Montgomery Modular Multiplier Architecture," IET Circuits, Devices & Systems, Vol. 13, No. 7, pp. 942-949, 2019.
27a. Convergence Division with Faster-than-Quadratic Convergence (Assigned: TBD)
I. Kong and E. E. Swartzlander, "A Goldschmidt Division Method with Faster than Quadratic Convergence," IEEE Trans. VLSI Systems, Vol. 19, No. 4, pp. 696-700, April 2011.
Topics for Part V of the Textbook: Real Arithmetic
28. History of Floating-Point Number Representation Formats and Associated Standards (Assigned to: TBD)
29. Level-Index Number Rerpesentation and Arithmetic (Assigned to: TBD)
30. Sign/Logarithmic Arithmetic and the European Logarithmic Microprocessor (Assigned to: TBD)
J. N. Coleman, et al., "The European Logarithmic Microprocessor," IEEE Trans. Computers, Vol. 57, No. 4, pp. 532-546, April 2008.
J. N. Coleman, E. I. Chester, C. I. Softley, and J. Kadlec, "Arithmetic on the European Logarithmic Microprocessor," IEEE Trans. Computers, Vol. 49, No. 7, pp. 702-715, July 2000.
31. Residue Logarithmic Number Representation and Arithmetic (Assigned to: TBD)
32. Accurate Summation of Sets of Floating-Point Numbers (Assigned to: TBD)
A. Eisinberg and G. Fedele, "Accurate Floating-Point Summation: A New Approach," Applied Mathematics and Computation, Vol. 189, pp. 410-424, 2007.
T. Ogita, S. M. Rump, and S. Oishi, "Accurate Sum and Dot Product," SIAM J. Scientific Computing, Vol. 26 , No. 6, pp. 1955-1988, 2005.
33. Multiprecision Arithmetic on Media Processors (Assigned to: TBD)
33a. Implementing Arithmetic Functions with Interval Arithmetic (Assigned to: Available for S'20)
U. Kulisch, "Mathematics and Speed for Interval Arithmetic: A Complement to IEEE 1788," ACM TOMS, Vol. 45, No. 1, March 2019, pp. 5:1-5:22. [https://doi.org/10.1145/3264448]
Topics for Part VI of the Textbook: Function Evaluation
34. Combinational Circuits for Fast Approximate Square-Rooting (Assigned to: TBD)
35. Cube Roots: Hardware Algorithms and Applications (Assigned to: TBD)
A. Pineiro, J. D. Bruguera, F. Lamberti, and P. Montuschi, "A Radix-2 Digit-by-Digit Architecture for Cube Root," IEEE Trans. Computers, Vol. 57, No. 4, pp. 562-566, April 2008.
Cube-Roots via Newton-Raphson Method
36. Argument Reduction for Faster, More Accurate Function Evaluation (Assigned to: Available for S'20)
S. Boldo, M. Daumas, and R.-C. Li, "Formally Verified Argument Reduction with a Fused Multiply-Add," IEEE Trans. Computers I, Vol. 58, No. 8, pp. 1139-1145, August 2009.
N. Brisebarre, et al., "A New Range-Reduction Algorithm," IEEE Trans. Computers, Vol. 54, No. 3, pp. 331-339, March 2005.
37. Function Evaluation by Piecewise Linear Approximation (Assigned to: TBD)
N. Takagi, "Powering by a Table Look-Up and A Multiplication with Operand Modification," IEEE Trans. Computers, Vol. 47, No. 11, pp. 1216-1222, Nov. 1998.
O. Gustafsson and K. Johanson, "Multiplierless Piecewise Linear Approximation of Elementary Functions," Proc. 40th Asilomar Conf. Signals, Systems, and Computers, October 2006.
38. Smaller Lookup Tables by Exploiting Symmetry and Nonuniform Segmentation (Assigned to: TBD)
D.-U Lee, R. C. C. Cheung, W. Luk, and J. D. Villasenor, "Hierarchical Segmentation for Hardware Function Evaluation," IEEE Trans. VLSI Systems, Vol. 17, No. 1, pp. 103-116, January 2009.
T. Sasao, S. Nagayama, and J. T. Butler, "Numerical Function Generators Using LUT Cascades," IEEE Trans. Computers, Vol. 56, No. 6, pp. 826-838, June 2007.
Topics for Part VII of the Textbook: Implementation Topics
39. Pipelined Arithmetic in Vector Supercomputers (Assigned to: TBD)
40. Online or Digit-Pipelined Arithmetic with Carry-Save Operands (Assigned to: TBD)
40a. On-the-Fly Arithmetic Converters as Finite Automata (Assigned to: Available for S'20)
N. Pippenger, "On-the-Fly Algorithms and Sequential Machines," IEEE Trans. Computers, Vol. 60, No. 9, pp. 1372-1375, September 2011.
41. Low-Power Full-Adder Cells and Their Applications (Assigned to: TBD)
K. Navi, et al., "A Novel Low-Power Full-Adder Cell for Low Voltage," Integration, the VLSI J., Vol. 42, No. 4, pp. 457-467, September 2009.
M. Aguirre-Hernandez and M. Linares-Aranda, "CMOS Full-Adders for Energy-Efficient Arithmetic Applications," IEEE Trans. VLSI Systems, Vol. 19, No. 4, pp. 718-721, April 2011.
42. Low-Power Design Techniques for Multipliers (Assigned to: TBD)
I. S. Abu-Khater, A. Bellaouar, and M. I. Elmasry, "Circuit Techniques for CMOS Low-Power
High-Performance Multipliers," IEEE J. Solid-State Circuits, Vol. 31, pp. 1535-1546, October 1996.
S. S. Mahant-Shetti, P. T. Balsara, and C. Lemonds, "High Performance Low Power Array
Multiplier Using Temporal Tiling," IEEE Trans. VLSI Systems, Vol. 7, No. 1, pp. 121-124, March 1999.
43. Dedicated Hardware Multipliers on FPGA Chips (Assigned to: TBD)
Using Embedded Multipliers in Spartan-3 FPGAs
44. Design Methods for Implementing Wider Multipliers Using Embedded FPGA Multipliers (Assigned to: TBD)
S. Gao, D. Al-Khalili, and N. Chabini, "Efficient Realization of Large Size Two's Complement Multipliers Using Embedded Blocks in FPGAs," Circuits, Systems, and Signal Processing, Vol. 27, No. 5, pp. 713-731, October 2008.
J.-L. Beuchat and A. Tisserand, "Small Multiplier Based Multiplication and Division Operators for Virtex-II Devices," Proc. 12th Int'l Conf. Field-Programmable Logic and Applications, 2002, pp. 513-522.
45. Augmenting FPGAs for Faster Arithmetic Operations (Assigned to: TBD)
H. Parandeh-Afshar, A. K. Verma, P. Brisk, and P. Ienne, "Improving FPGA Performance for Carry-Save Arithmetic," IEEE Trans. VLSI Systems, Vol. 18, No. 4, pp. 578-590, April 2010.
General Research Topics Spanning Multiple Parts
46. A Survey of Arithmetic Circuits in Electronic Scientific Calculators (Assigned to: Yu Wang)
G. R. Rising, Inside Your Calculator: From Simple Programs to Significant Insights, Wiley, 2007.
H.-J. Bohm, "Small-Data Computing: Correct Calculator Arithmetic," Communications of the ACM, Vol. 60, No. 8, pp. 44-49, August 2017.
47. Arithmetic in Early Supercomputers: IBM System/360 Model 91 and CDC 6600 (Assigned to: TBD)
48. Arithmetic and Energy Economy Provisions in IBM Blue Gene/L Parallel Supercomputer (Assigned to: TBD)
J. Lorenz, S. Kral, F. Franchetti, and C.W. Ueberhuber, "Vectorization Techniques for the Blue Gene/L Double FPU," IBM J. Research and Development, Vol. 49, Nos. 2/3, pp. 437-446, March/May 2005.
S. Chatterjee, et al., "Design and Exploitation of a High-Performance SIMD Floating-Point Unit for Blue Gene/L," IBM J. Research and Development, Vol. 49, Nos. 2/3, pp. 377-391, March/May 2005.
49. Implementation of Arithmetic Operations in Graphics Processors (Assigned to: TBD)
D. De Caro, N. Petra, and A. G. M. Strollo, "High-Performance Special Function Unit for Programmable 3-D Graphic Processors," IEEE Trans. Circuits and Systems I, Vol. 56, No. 9, pp. 1968-1978, September 2009.
D. Blythe, "Rise of the Graphics Processor," Proc. IEEE, Vol. 96, No. 5, pp. 761-778, May 2008.
49a. Arithmetic in a Near-Pixel SIMD Architecture for 3D Stacked Chips (Assigned to: Kenny Nagy)
B. Pfundt, M. Reichenbach, C. Soll, and D. Fey, "Novel Image Processing Architecture for 3D Integrated Circuits," PARS-Mitteilungen, Vol. 32, No. 1, 2015.
S. Chevobbe, M. Lepecq, K. Benchehida, M. Darouich, T. Dombek, F. Guellec, and L. Millet, "A Versatile 3D Stacked Vision Chip with Massively Parallel Processing Enabling Low Latency Image Analysis," Proc. Int'l Image Sensor Workshop, June 2019.
50. Number Crunching for Computer Games: History and Techniques (Assigned to: TBD)
51. Arithmetic Operations for Elliptic Curve Cryptography (Assigned to: Tim Menninger)
C. K. Koc (ed.), Cryptographic Engineering, Springer, 2009.
S. Kumar, Elliptic Curve Cryptography for Constrained Devices, VDM Verlag, 2008.
J. Solinas, "Generalized Mersenne numbers," Tech. Report CORR 99-39, Dept. C&O, U. Waterloo, 1999.
52. Implementation of Ultrahigh-Precision Arithmetic on Parallel Computers (Assigned to: Evan Blasband)
D. Takahashi, "Parallel Implementation of Multiple-Precision Arithmetic and 2,576,980,370,000 Decimal Digits of Pi Calculation," Parallel Computing, Vol. 36, No. 8, pp. 439-448, August 2010.
53. A Comparison of Synchronous and Asynchronous Arithmetic Circuits (Assigned to: TBD)
54. Implementing Arithmetic Operations with Neuronlike Hardware Elements (Assigned to: TBD)
54a. Number Storage and Arithmetic with DNA (Assigned to: TBD)
A. K. George, I. O. Kunnummal, L. Alazzawi, and H. Singh, "Design of DNA Digital Circuits," IEEE Potentials, March/April 2020, pp. 35-40.
55. Computer Arithmetic with Emerging Technologies (Assigned to: Blake Diamond)
G. Bourianoff, "The Future of Nanocomputing," IEEE Computer, Vol. 36, No. 8, pp. 44-53, August 2003.
Y. Brun, "Arithmetic Computation in the Tile Assembly Model: Addition and Multiplication," Theoretical Computer Science, Vol. 378, No. 1, pp. 17-31, June 2007.
G. Jaberipur, B. Parhami, and D. Abedi, "Adapting Computer Arithmetic Structures to Sustainable Supercomputing in Low-Power, Majority-Logic Nanotechnologies," IEEE Trans. Sustainable Computing, Vol. 3, No. 4, pp. 262-273, October-December 2018.
Poster Presentation Tips
Here are some guidelines for preparing your research poster. The idea of the poster is to present your research results and conclusions thus far, get oral feedback during the session from the instructor and your peers, and to provide the instructor with something to comment on before your final report is due. Please send a PDF copy of the poster via e-mail by midnight on the poster presentation day.
Posters prepared for conferences must be colorful and eye-catching, as they are typically competing with dozens of other posters for the attendees' attention. Here is an example of a conference poster. Such posters are often mounted on a colored cardboard base, even if the pages themselves are standard PowerPoint slides. In our case, you should aim for a "plain" poster (loose sheets, to be taped to the wall in our classroom) that conveys your message in a simple and direct way. Eight to 10 pages, each resembling a PowerPoint slide, would be an appropriate goal. You can organize the pages into 2 x 4 (2 columns, 4 rows), 2 x 5, or 3 x 3 array on the wall. The top two of these might contain the project title, your name, course name and number, and a very short (50-word) abstract. The final two can perhaps contain your conclusions and directions for further work (including work that does not appear in the poster, but will be included in your research report). The rest will contain brief description of ideas, with emphasis on diagrams, graphs, tables, and the like, rather than text which is very difficult to absorb for a visitor in a very limited time span.
Grade Statistics
Grades are in [F, A+], unless otherwise noted..
HW1 grades: Range = [B, A], Mean = 3.84, Median = A
HW2 grades: Range = [B, A], Mean = 3.78, Median = A
HW3 grades: Range = [B, A], Mean = 3.69, Median = A–
HW4 grades: Range = [B, A], Mean = 3.68, Median = A–
Research paper: Range = [B–, A], Mean = 3.34, Median = B+
Course letter grades: Range = [B, A], Mean = 3.60, Median = A–
References
Primary textbook (required):
Parhami, Computer Arithmetic: Algorithms and Hardware Designs, Oxford, 2nd ed., 2010.
Verilog descriptions of arithmetic circuits (recommended):
This course does not involve a lab component or implementation projects. For those interested in pursuing practical circuit implementations, the following book may be useful:
Cavanagh, Computer Arithmetic and Verilog HDL Fundamentals, CRC Press, 2010.
Other useful books (not required):
Brent/Zimmermann, Modern Computer Arithmetic, Cambridge, 2011
Deschamps/Bioul/Sutter, Synthesis of Arithmetic Circuits: ... , Wiley, 2006 (TK7895.A65D47)
Ercegovac/Lang, Digital Arithmetic, Morgan Kaufmann, 2004 (QA76.9.C62E73)
Ercegovac/Lang, Division and Square Root: ... , Kluwer, 1994 (QA76.9.C62E73)
Knuth, The Art of Computer Programming: Seminumerical Algorithms, Wiley, 1981 (QA76.6.K64 vol 2)
Kulisch/Miranker, Computer Arithmetic in Theory and Practice, Academic Press, 1981 (QA162.K84)
Koren, Computer Arithmetic Algorithms, 2nd ed., A K Peters, 2002 (QA76.9.C62K67)
Muller, Elementary Functions: Algorithms and Implementation, Birkhauser, 2006 (QA331.M866)
Muller et al., Handobook of Floating-Point Arithmetic, Birkhauser, 2010
Oklobdzija, High-Performance System Design, IEEE Press, 1999 (TK7871.99.M44037)
Omondi, Computer Arithmetic Systems: ... , Prentice-Hall, 1994 (QA76.9.C62O46)
Omondi, Computer-Hardware Evaluation of Mathematical Functions, Imperial College Press, 2015
Swartzlander, Computer Arithmetic, vols. 1-2, IEEE Computer Society Press, 1990 (QA76.6.C633)
Waser/Flynn, Intro. Arithmetic for Digital Systems Designers, HR&W, 1982 (TK7895.A65W37.1982)
Research resources:
Proc. IEEE Symp. Computer Arithmetic, 1969, 72, 75 78, 81 and subsequent odd years; beginning with ARITH-23 in July 2016, the conference became an annual event.
On-line proceedings for IEEE Symp. Computer Arithmetic, 1969-2019
IEEE Trans. Computers, particularly special issues/sections on computer arithmetic: 8/1970, 6/1973, 7/1977, 4/1983, 8/1990, 8/1992, 8/1994, 7/1998, 7/2000, 3/2005, 2/2009, 2/2011, 8/2012, 8/2014, 12/2017, ?/2019
UCSB library's electronic journals, collections, and other resources
Miscellaneous Information
Motivation: Computer arithmetic is a subfield of digital computer organization. It deals with the hardware realization of arithmetic functions to support various computer architectures as well as with arithmetic algorithms for firmware/software implementation. A major thrust of digital computer arithmetic is the design of hardware algorithms and circuits to enhance the speed of various numeric operations. Thus much of what is presented in this course complements the architectural and algorithmic speedup techniques covered as part of the advanced computer architecture (ECE 254A/B/C) sequence.
Catalog entry: 252B. Computer Arithmetic. (4) PARHAMI. Prerequisites: ECE 152A-B (Changing to ECE 154A). Lecture, 4 hours. Standard and unconventional number representations. Design of fast two-operand and multioperand adders. High-speed multiplication and division algorithms. Floating-point numbers, algorithms, and errors. Hardware algorithms for function evaluation. Pipelined, digit-serial and fault-tolerant arithmetic processors.
History: Professor Parhami took over the teaching of ECE 252B from the late Dr. James Howard in the winter quarter of 1989. By covering sequential machines,
computer arithmetic, and advanced microprocessor-based design, the graduate course sequence ECE 252A/B/C was meant to provide a firm foundation in the theories and techniques of advanced digital design. During the first few offerings of ECE 252B, Professor Parhami gradually modified the content to increase both its coverage and research orientation (the now-discontinued ECE 252A & 252C underwent similar transformations by Professor Kwang-Ting Cheng and Professor Parhami, respectively). In 2000, based on a decade of experience in teaching computer arithmetic, Professor Parhami published a reference volume and graduate-level textbook, Computer Arithmetic: Algorithms and Hardware Designs (Oxford Univ. Press), which is being used at many universities worldwide. The 2nd edition of this textbook appeared in 2010.
Offering of ECE 252B in spring 2019
Offering of ECE 252B in spring 2018
Offering of ECE 252B in spring 2017
Offering of ECE 252B in spring 2016 (PDF file)
Offering of ECE 252B in spring 2015 (PDF file)
Offering of ECE 252B in spring 2014 (PDF file)
Offering of ECE 252B in spring 2013 (PDF file)
Offering of ECE 252B in spring 2012 (PDF file)
Offering of ECE 252B in spring 2011 (PDF file)
Offering of ECE 252B in spring 2010 (PDF file)
Offering of ECE 252B in spring 2009 (PDF file)
Offerings of ECE 252B from 2000 to 2008 (PDF file)