US 5,121,352 AGrant
Multiplier-Accumulator Circuit Array Operable in Multiple Modes
Issue Date:1992-06-09
•5 Claims
•36 Drawing Sheets
Abstract
A high-speed circuit that performs unsigned mode, two's complement mode, and mixed mode multiplication-accumulation with equal facility. The invention incorporates a high degree of regularity and interconnectivity. Speed is accomplished through interconnectivity, use of high speed adder elements, and a multiple-row addition technique.
Metadata
Assignee
- Micron Technology, Inc.
Inventor
- James H. Hesson
Application Information
Application Number:US 4781228
Filing Date:1990-02-06
Priority Date:1990-02-06
Art Unit:231
Classifications
IPC:
G06F 752
Field of Search:
364757;758;759;784
Patent Drawings (36 sheets)
Description
Background of the Invention
1. FIELD OF THE INVENTION
This invention generally relates to high-volume high-speed digital parallel processing, in particular a multiplier-accumulator integrated circuit array that will accept input operands in two's complement, unsigned magnitude, and mixed modes.
2. DESCRIPTION OF THE RELATED ART
A multiplier-accumulator is a computational device that multiplies two multiplier input terms and sums the product with an accumulator term, providing a final output term. A parallel multiplier has the characteristic of operating on multiple bits within the terms simultaneously, that is, in parallel. High speed parallel multipliers and multiplier-accumulators and their efficient integration into silicon or some other semiconductor substrate have been of interest since the early days of digital computers.
Many arithmetic circuits which are widely used in the digital arts are designed for use with two's complement binary signals. While such signals and the associated circuits are particularly well adapted for performing efficiently under many circumstances, two's complement multiplication often requires the use of specialized circuits for correcting errors or characteristically incomplete results. Attempts have been made to reduce specialized circuitry in two's complement arithmetic circuits. See, for example, U.S. Pat. No. 3,866,030 by inventors Baugh and Wooley for a two's complement parallel array multiplier.
A multiplier-accumulator that can operate equally well across unsigned mode, two's complement mode, and mixed modes is desirable.
It is therefore an object of the present invention to provide a multiplier-accumulator that accepts operand formats in all three of the aforementioned modes.
Although a multiplier-accumulator has speed advantages when compared to equivalent circuits, more speed is always desirable.
The present invention therefore has the object of high speed operation.
It has been recognized for some time that a regular circuit structure is advantageous when implementing it in silicon, as circuit regularity permits a faster layout time (either by hand or by a layout generator). Local interconnection between elements of an integrated circuit, which works well when the circuit is regular, minimizes parasitic capacitance and resistance to provide faster circuit operation.
It is therefore a further object of the present invention to provide multiple-mode multiplier-accumulator which has a high degree of circuit regularity and exploits local interconnection.
Summary of the Invention
The invention is a circuit that can perform multiple-mode multiplication-accumulation. The circuit operates with equal facility on unsigned mode, two's complement mode, or mixed mode inputs.
By deriving special compensation expressions for terms having negative weight for each multiplication mode (two's complement, unsigned magnitude, and mixed modes), and by grouping these compensations in a particular manner, it is possible to eliminate the need for the generation of negative partial products. Further making these compensations conformal across the three multiplication modes, specialized circuitry is minimized and circuit regularity is maximized. Similar adder elements are arrayed, with all specialized circuitry being implemented as circuit modifications on some of these elements, thus improving circuit regularity and interconnectivity.
Fast adder elements are included to improve overall speed of the invention. Speed is further increased with the use of multiple-row addition techniques.
Brief Description of the Drawings
FIGS. 1a-1c depict multiplier input operands X and Y and accumulator input Z in binary form. For example, in FIG. 1a, m=8 for an 8-bit word, and each a is a bit in that word.
FIGS. 2a-2c show expressions that yield magnitudes of two's complement terms X.sub.tc, Y.sub.tc, and Z.sub.tc.
FIGS. 2d-2f show expressions that yield magnitudes of unsigned magnitude terms X.sub.uns, Y.sub.uns, and Z.sub.uns.
FIGS. 3a-3d are expressions for the products P.sub.tc =X.sub.tc .multidot.Y.sub.tc, P.sub.uns =X.sub.uns .multidot.Y.sub.uns, P.sub.A =X.sub.tc .multidot.Y.sub.uns, and P.sub.B =X.sub.uns .multidot.Y.sub.tc, respectively.
FIGS. 4a-4e, 5a-5f, 6a-6f, and 7a-7e illustrate two-row compensation derivations for L, N, O, and Z, respectively.
FIGS. 8a-8c, 9a-9c, 10a-10c, and 11a-11c illustrate multiplication-accumulation in unsigned mode, two's complement mode, and mixed modes A and B. "a" figures show a standard representation. "b" figures show the representation condensed and slightly rearranged. "c", figures show an array configuration that will perform the multiplication-accumulation.
FIG. 12a is block diagram of the preferred multiplier-accumulator. FIG. 12b is a schematic of the array portion.
FIGS. 13a-13b, 14a-14b, 15a-15b, 16a-16b, 17a-17b, 18a-18b, 19a-19b, 20a-20b, 21a-21b and 22a-22b detail preferred adder elements and their operation. "a" figures are schematics of the elements. "b" figures are logical symbols, which are used in FIG. 12, for example.
FIG. 23 details a preferred exclusive-OR gate.
FIG. 24 details generation of control signals TCA, TCB, TCC, and MXM.
Detailed Description of the Preferred Embodiment
The design of the preferred embodiment of the invention follows certain algorithms, so this description will begin with their derivations. When the algorithms are understood, the design and use of the preferred embodiment are easier to comprehend.
1. Derivations
The inventive multiplier-accumulator has two multiplier input operands X and Y (also called product terms) and one accumulator term Z, expressed in FIGS. 1a-1c as binary power expansions. The two possible accumulator input modes are two's complement and unsigned magnitude. In this disclosure, subscript "tc" indicates two's complement mode, and subscript "uns" indicates unsigned magnitude mode. For example, X.sub.tc indicates X interpreted as a two's complement number. Further, in this disclosure, a term may be represented as a vector. For example, X (shown as a binary power expansion in FIG. 1) may also be represented as the vector (a.sub.m-1, a.sub.m=2, . . . , a.sub.0), Y as (b.sub.n-1, b.sub.n-2, . . . , b.sub.0), and Z as (c.sub.m+n-1, c.sub.m+n-2, . . . , c.sub.0). Multiplication is indicated by the symbol ".multidot." and addition is indicated by the symbol "+". Logic operations are indicated in capitals, such as in the expression "a AND b", for example.
FIG. 2a is a two's complement expression of X: when X is to be interpreted as X.sub.tc, the expression in FIG. 2a will yield the magnitude of X.sub.tc. FIGS. 2b-2c show corresponding expressions for Y.sub.tc and Z.sub.tc. FIGS. 2d-2f show similar expressions for X.sub.uns, Y.sub.uns, and Z.sub.uns.
Since each of the input operands X and Y can be in two's complement mode or unsigned magnitude mode, there are four possible multiplication modes for the operation P=X.multidot.Y. These are two's complement mode (P.sub.tc =X.sub.tc .multidot.Y.sub.tc), unsigned magnitude mode (P.sub.uns =X.sub.uns .multidot.Y.sub.uns), mixed mode A (P.sub.A =X.sub.tc .multidot.Y.sub.uns), and mixed mode B (P.sub.B =X.sub.uns .multidot.Y.sub.tc) FIGS. 3a-3d, respectively, show expressions for each of these multiplication modes, based on FIGS. 2a-2f.
Note in FIGS. 3a-3d that each product includes different sign combinations of expressions L, M, N, and O. That is, P.sub.tc =+L+M-N-O, P.sub.uns =+L+M+N+O, P.sub.A =-L+M+N-O, and P.sub.B =-L+M-N+O. This is a significant observation and has bearing on the design of the preferred embodiment.
It is well known that binary addition of a two's complement form word is equivalent to its unsigned binary subtraction. Addition is more straightforward and more readily implemented than subtraction. To obtain a two's complement form, a word is inverted and a 1 is added to it. In the above-listed multiplication modes, terms L, N, and O are subtracted. In the preferred embodiment, "two-row compensations" are derived to aid in these subtractions. The two-row compensation L.sub.2RC, for example, is a pair of rows of bits that when summed with an operand, gives a final accumulation that is as if L was subtracted. The two-row compensation contains two's complement arithmetic in a form that allows efficient design of the inventive multiplier-accumulator.
FIG. 4a shows the expression for term L, written the same as in FIG. 3a, for example. L may also be expressed as a summation of the two rows in FIG. 4b. FIG. 4c shows L inverted and a 1 added to obtain a two's complement inversion, rewritten in FIG. 4d. FIG. 4e shows L in a two's complement binary matrix form. FIG. 4e is the two-row compensation L.sub.2RC.
Two-row compensation N.sub.2RC is generated as shown in FIGS. 5a-5f. FIG. 5a expresses term N, the same as in FIG. 3b, for example. N may also be expressed as shown in FIG. 5b. Note that b.sub.n-1 is a binary constant, a 1 or 0. If b.sub.n-1 =1, then N reduces to FIG. 5c. If b.sub.n-l =0, then N and its two's complement are both zero. For b.sub.n-1 =1, the two's complement of N is shown in FIG. 5d. Using this information, a generalized expression for the two's complement of N can be created, shown in FIG. 5e. The expression of FIG. 5e is then converted to N.sub.2RC, shown in FIG. 5f.
Term O (FIG. 6a) is similar to N. The derivation of O.sub.2RC, shown in FIG. 6f, is therefore derived using a similar technique.
Since the invention accumulates as well as multiplies, two-row compensation Z.sub.2RC for accumulator term Z must also be derived, since Z may be positive or negative in any multiplication-accumulation mode involving two's complement. This is shown in FIGS. 7a-7e. Note that when c.sub.m+n-1 =1, Z<0, and when c.sub.m+n-1 =0, Z>0.
With reference to FIGS. 8-11, the four multiply-accumulate modes are now detailed for 8-bit X and Y terms (m=8, n=8). In each figure, a somewhat standard representation of the operation is shown, and then an equivalent, preferred arrangement. Since M remains the same across all cases four modes are readily embodied in a single circuit.
FIG. 8a illustrates an unsigned mode multiplication-accumulation, that is, X.sub.uns .multidot.Y.sub.uns +Z.sub.uns. Elements of L, M, N and O are shown in their proper columns for addition. FIG. 8b shows the same algorithm, but with 0 moved over the upper left edge of M. FIG. 8c shows this operation in an array configuration. The correct result is obtained if addition is diagonally performed.
FIG. 9a illustrates a two's complement mode multiplication-accumulation, that is, X.sub.tc .multidot.Y.sub.tc +Z.sub.tc. Recall from FIG. 3a that N and O are subtracted in this mode. Instead of subtracting N and O in the preferred embodiment, two-row compensations N.sub.2RC and O.sub.2RC are summed. Because Z may be positive or negative in this mode, Z.sub.2RC is also summed. FIG. 9b shows the same derivation, but with all ones in the two-row compensations pre-summed and all but two elements of O.sub.2RC moved over the upper left edge of M. For the specific case of a multiply-only algorithm (no accumulation), the inventive method reduces to the familiar Baugh-Wooley two's complement multiplier method. FIG. 9c shows the operation in an array configuration. The correct result is obtained if addition is performed diagonally.
Mixed mode A (X.sub.tc .multidot.Y.sub.uns +Z.sub.tc) is illustrated in FIG. 10a. As shown in FIG. 3c, L and O are subtracted in this mode. Therefore L.sub.2RC and O.sub.2RC are added. Z.sub.2RC is also added because Z may be positive or negative in this mode. FIG. 10b shows the corresponding preferred arrangement. As in two's complement mode in FIG. 9b, all ones in the two-row compensations are pre-summed. As above, FIG. 10c shows an array configuration.
Finally, FIG. 11a illustrates mixed mode B (X.sub.uns .multidot.Y.sub.tc +Z.sub.tc). As shown in FIG. 3d, L and N are subtracted in this mode. Therefore L.sub.2RC and N.sub.2RC are added. Z.sub.2RC is also added because Z may be positive or negative in this mode. FIG. 11c shows a corresponding array configuration.
2. Embodiment
The preferred embodiment of the invention includes an n by m multiplier array having multiple-function adder elements to perform the above-derived algorithms as represented in the array configurations of FIGS. 8c, 9c, 10c, and 11c. For the sake of illustration, an 8 by 8 multiplier-accumulator according to the invention is shown in FIGS. 12a and 12b. The preferred embodiment merges the four multiplication-accumulation modes into a single arrayed set 10 of adder elements 100-107, 110-117, 120-127, 130-137, 140-147, 150-157, 160-169, 170-179, and 180-188, detailed in FIGS. 13 through 23, of which the "A" figures show a schematic, and the "B" figures show a corresponding logical symbol used in FIG. 12b. It is noted that some of the signals shown in the logical symbols are to interpreted differentially, and some nondifferentially. For example, SIN in FIG. 14b is differential (representing true SIN and complement SIN*, shown in FIG. 14a), while input a.sub.i is not.
The elements will now be described. The following chart is provided for cross-reference:
FAlS (FIG. 13) is a 3-bit fully differential full-adder cell, with propagation times of 2 gate delays from sum-in to sum-out and 1 gate delay from carry-in to carry-out, when the preferred EXOR circuit of FIG. 23 is used. PG,12
FA1A (FIG. 14) performs:
FA2A (FIG. 15) performs:
FAC (FIG. 16) performs:
FACA (FIG. 17) performs:
FACC (FIG. 18) performs:
FAAC (FIG. 19) performs:
Note here that A.multidot.B+l is logically equivalent to NOT(A.multidot.B).
FAAC3 (FIG. 20) performs:
HAC (FIG. 21) performs:
HAC2 (FIG. 22) performs:
FAC, FACA, FACC, FAAC, FAAC3 are all adder elements that perform more than one type of addition, and are controlled by signals TCA, TCB, TCC, and MXM. The generation of TCA, TCB, TCC, and MXM is detailed in FIG. 24 and in the chart below.
The above elements when connected as shown in FIG. 12 perform together as a universal multiplier-accumulator, capable of multiplying in unsigned mode, two's complement mode, and mixed modes A and B.
FIG. 12b further shows the preferred embodiment having multiple data input bits V.sub.SS (logical 0), V.sub.DD (logical 1), a.sub.0 -a.sub.7, b.sub.0 -b.sub.7, and carry in bits c.sub.0 -c.sub.15. Output bits include carry-out bits co.sub.0 -co.sub.15 and sum bits s.sub.0 -s.sub.16. MXM, TCA, TCB, and TCC are control inputs, and NC denotes a no-connect. SUM-out and carry-out bits s.sub.0 -s.sub.16 and co.sub.0 -co.sub.15 are summed in final adder 11 of FIG. 12a.
Simplicity and interconnectivity are improved by designing similarity across all elements. For example, each full-adder shares the same basic primitive cell (FAIS) with compensation logic included as required. Some adder elements must be able to perform more than one function. It is primarily for this reason that several adder types are used in the preferred embodiment.
For example, element 168 of FIG. 12b multiply-accumulates a.sub.7 .multidot.b.sub.7 in unsigned mode, a.sub.7 .multidot.b.sub.7 +a.sub.7 +b.sub.7 in two's complement mode, A.sub.7 .multidot.B.sub.7 +a.sub.7 in mixed mode A, and A.sub.7 .multidot.B.sub.7 +b.sub.7 in mixed mode B (compare FIGS. 8c, 9c, 10c, and 11c, respectively).
The partial products within term M for all multiplication modes are performed within elements 100-106, 200-206, 300-306, 400-406, 500-506, 600-606, and 700-706. For example, the partial product a.sub.0 .multidot.b.sub.0 is implemented by FA2A element 100 when connected as shown in FIG. 12b.
Term O of FIG. 8a is shown in FIG. 8b at the upper left side of M. These terms are implemented by elements 107, 117, 127, 137, 147, 157, and 167. For example, term a.sub.7 .multidot.b.sub.0 in FIG. 8b is implemented by element 107 when connected as shown.
Term N of FIGS. 8a and 8b is implemented by elements 160-166. For example, term a.sub.0 .multidot.b.sub.7 is implemented by element 160 when connected as shown.
These terms in other modes are similarly accomplished by the preferred embodiment.
Elements 108 and 171 are now further elucidated. Term a.sub.m-1 is added in the column of c.sub.m-1 in two's complement mode and mixed mode A. Term b.sub.n-1 is added in the column of c.sub.n-1 in two's complement mode and mixed mode B. In the preferred embodiment, m=n=8, so a7 and/or b7 are added in the column of c7 in all but unsigned mode. The addition of term a.sub.7 is accomplished by element 108. Note that 108 outputs a differential signal. The addition of term b.sub.7 is accomplished by element 171. This arrangement allows proper addition of a.sub.m-1 and b.sub.n-1 even if m.noteq.n.
Final addition of the sumout and carryout terms of the preferred array 10 is performed by final adder 11, shown in FIG. 12a, which comprises any of several possible adder configurations, including, for example, full carry lookahead, carry select, and conditional-sum type adders.
The preferred embodiment is fast when fast adders (such as the preferred) are used. Speed is further improved in the preferred embodiment in FIG. 12 by summing all even rows together, summing all odd rows together, and adding the even sum with the odd sum in final adder 11 (a Wallace tree technique). It is noted that three or more groups of rows can similarly be summed, but the apparent speed improvement thus gained is lost due to increased parasitic capacitances in the longer interconnections. A path limit of 22 mils or less is deemed desirable to limit parasitics and optimize speed. Short interconnections therefore makes Wallace tree summation of two groups of rows preferable.
Many variations may be made to the embodiment without making it a different invention. Different adder element designs may be used, as well as alternate EXOR designs. Although the preferred embodiment is integrated into a semiconductor substrate using CMOS techniques, other fabrication technologies might be used. The circuit may be constructed discretely and still embody the same invention.
Claims
I claim:
1. A multiplier-accumulator array, having adders comprising: a sum generator, comprising: first and second XOR circuits; first and second inputs of said first XOR circuit being differentially responsive to first and second bits, respectively, and first and second inputs of said second XOR circuit being differentially responsive to an output of said first XOR circuits, and a third bit, respectively; wherein an output of said second XOR circuit provides a differential output for the sum generator, said differential output being in a first state when an odd subset of said first, second, and third bits are true, and being in a second state when an even subset of said first, second, and third bits are true; wherein at least one of said first and second XOR circuits comprises: first, second, third, and fourth tristate devices; said tristate devices having inputs w, x, y, and z, respectively, which correspond to the inputs of the XOR circuit; an output of each of said first and second tristate devices being coupled to form a first XOR circuit output; an output of each of said third and fourth tristate devices being coupled to form a second XOR circuit output; and said first and third tristate devices being tristated when an enable input is in a first state, and said second and fourth tristate device being tristated when said enable input is in a second state; wherein said inputs w and z are responsive together and said inputs x and y are responsive together, said inputs w and x are differentially responsive to a bit A, said enable input is differentially responsive to a bit B, and said first and second logic circuit outputs are able to differentially provide an XOR function of said bits A and B; a carry-out generator, comprising: a first input, responsive to said output of said first XOR circuit; a second input, differentially responsive to one of said first and second bits; a third input, differentially responsive to said third bit; and a logic circuit, which provides a first differential state when at least two of said first, second, and third bits are true, and otherwise provides a second state; wherein said sum generator and said carry-out generator provide a sum bit and a carry-out bit, respectively, on said first, second, and third bits; wherein said logic circuit comprises: first, second, third, and fourth tristate devices; said tristate devices having inputs w, x, y, and z, respectively, which correspond to the inputs of the logic circuit; an output of each of said first and second tristate devices being coupled to form a first logic circuit output; an output of each of said third and fourth tristate devices being connected together to form a second logic circuit output; and said first and third tristate devices being tristated when an enable input is in a first state, and said second and fourth tristate devices being tristated when said enable input is in a second state; wherein said enable input is said first input, said inputs x and z form said second input, and said inputs w and y form said third input; wherein said sum generator and said carry-out generator provide a sum bit and a carry-out bit, respectively, on said first, second, and third bits.
2. The multiplier-accumulator array of claim 1, wherein said adders are arranged in a Wallace tree.
3. An apparatus for use in a digital processing system for producing a product P from operands X and Y, either of which may be represented in either two's complement format or unsigned format, and accumulate it with a term Z, wherein X is representable as vector (a.sub.m-1, a.sub.m-2, . . . , a.sub.0) and Y as vector (b.sub.n-1, b.sub.n-2, . . . , b.sub.0), said apparatus constructed from an array of substantially identical 3-bit adders, said 3-bit adders comprising a sum generator and a carry-out generator; said sum generator, including first and second XOR circuits; said first XOR circuit having first and second inputs which are differentially responsive to first and second bits, respectively; said second XOR circuit having first and second inputs which are differentially responsive to an output of said first XOR circuit, and a third bit, respectively; said second XOR circuit providing a differential output for the sum generator, said differential output being in a first state when an odd subset of said first, second, and third bits are true, and being in a second state when an even subset of said first, second, and third bits are true; at least one of said first and second XOR circuits including first, second, third and fourth tristate devices; said tristate devices having inputs w, x, y, and z, respectively, which correspond to the inputs of the XOR circuit said inputs w and z being differentially responsive to a bit A, and said inputs x and y being responsive together, said inputs w and x being differentially responsive to a bit A; an output of each of said first and second tristate devices being coupled to form a first XOR circuit output; an output of each of said third and fourth tristate devices being coupled to form a second XOR circuit output; said first and third tristate devices being tristated when an enable input is in a first state, and said second and fourth tristate device being tristated when said enable input is in a second state, said enable input being differentially responsive to a bit B; and said first and second XOR circuit outputs being a differential XOR function of bits A and B; said carry-out generator including: a first input, responsive to said output of said first XOR circuit; a second input, differentially responsive to one of said first and second bits; a third input, differentially responsive to said third bit; and a logic circuit, which provides a first differential state when at least two of said first, second, and third bits are true, and otherwise provides a second state; and wherein said sum generator and said carry-out generator provide a sum bit and a carry-out bit, respectively, on said first, second, and third bits.
4. The apparatus of claim 3, wherein said logic circuit comprises: first, second, third, and fourth tristate devices; said tristate devices having inputs w, x, y, and z, respectively, which correspond to the inputs of the logic circuit; an output of each of said first and second tristate devices being coupled to form a first logic circuit output; an output of each of said third and fourth tristate devices being connected together to form a second logic circuit output; said first and third tristate devices being tristated when an enable input is in a first state, and said second and fourth tristate devices being tristated when said enable input is in a second state; and said enable input being said first input, said inputs x and z together being said second input, and said inputs w and y together being said third input.
5. The apparatus of claim 3, wherein said 3-bit adders are arranged in a Wallace tree.