IV  Implementation of Elementary Operations

The following chapters are illustrations of the application of the preceding general theory to the RTL implementation of the elementary arithmetic operations of addition, multiplication, division, and square root extraction. The more basic of these, addition and multiplication, are modeled at modeled at the level of bit vectors in Chapters 11 and 12. Since division and multiplication are implemented as sequences of these operations, we model them at the more abstract level of real numbers, treating addition and multiplication as primitives. We describe two approaches to division: a multiplicative method based on a fused multiply-add operation (Chapter 13) and a subtractive method, which we also apply to square roots (Chapter 14).


David Russinoff 2017-08-01