US 4,884,232 AGrant

Parallel Processing Circuits for High Speed Calculation of the Dot Product of Large Dimensional Vectors

Issue Date:1989-11-28

•1 Claims

•2 Drawing Sheets

Abstract

A digital circuit executes a parallel algorithm to compute the dot product of large dimensional vectors at very high speed. The circuit may be made of a plurality of cascaded 1-bit correlator chips and a plurality of ALU chips that sum the output of the correlator chips. Alternatively, a general purpose computer architecture for implementing the invention is also provided.

Metadata

Assignee

General Dynamics Corp., Pomona Div.

Inventor

Richard S. Schlunt

Application Information

Application Number:US 1330969

Filing Date:1987-12-14

Priority Date:1987-12-14

Art Unit:231

Classifications

IPC:

G06F 15347G06F 752

Field of Search:

364724.01;724.11;724.12;724.16;728.01;728.03;728.06;728.07;750.5;754-760

Patent Drawings (2 sheets)

Description

Background of the Invention

The present invention relates to digital signal processing, and more particularly, to high speed multiplying and adding circuits.

A number of digital signal processing techniques require the summing of a large number of products. Examples are convolutions, discrete Fourier transforms, and transversal filters. Each of these techniques involves sequences of numbers. For example, convolution is used to characterize linear sampled data systems. Convolution of two sequences r and s to obtain a third sequence c is defined as follows: ##EQU1##

In practical applications of Algorithm No. 1, r(k) and s(k) are zero, except for a finite number of terms N. Therefore, in digital processing circuitry for carrying out the convolution, the time required to perform the computation is a function of the size of N.

The discrete Fourier transform of a sequence r, denoted R(.omega.), is defined as follows: ##EQU2## where .omega. is in radians. In practical applications, only a finite number of r(n)'s are non-zero and the sequence r represents samples of a function which is continuous with respect to time. Under these conditions, the discrete Fourier transform gives the frequency context of the samples.

A transversal (non-recursive) filter is a device whose input is a sequence x and whose output is a sequence y given by: ##EQU3## Such filters are used to replace analog R-C filters in sampled data systems.

In Formulas 1, 2 and 3 above, it is necessary to compute the dot product of two vectors A=(a(1), . . . ,a(N)) and B=(b(1), . . . ,b(N)) where: ##EQU4##

Conventionally, the dot product of the vectors A and B (Algorithm No. 4) is computed by sequentially multiplying the components of A and B together and adding the same. On a general purpose digital computer this involves programming a loop. The time required to compute the dot product of the vectors A and B is a linear function of the size of N. Substantial computational delays can result if N is large. If the vector B is held fixed in Algorithm No. 4, the computational delay becomes even more pronounced. It would be desirable to provide a digital system for rapidly calculating the dot product of vectors A and B for large values of N.

Heretofore digital systems have been provided for multiplying and adding at high speeds. See for example U.S. Pat. Nos. 4,369,500; 4,153,938; 4,142,242; 4,135,249; 4,031,377; 3,752,971; 3,691,359; 3,670,956; 3,372,269 and 3,163,749. However, all of these patents describe circuits which perform multiple multiplications serially, thereby inherently limiting the speed at which the dot product of large dimensional vectors can be calculated. See also A. Weinberger, "Multiplier Decoding with Look-Ahead", IBM Technical Disclosure Bulletin, Vol. 20, No. 9, February, 1978, pp. 3591-3593 and T. Jayashree and D. Basu, "On Binary Multiplication Using Quarter Square Algorithm", IEEE Transactions on Computers, September, 1976, pp. 957-960.

Summary of the Invention

It is the primary object of the present invention to provide an improved digital signal processing system for high speed multiplication and addition.

It is another object of the present invention to provide a high speed digital system for calculating the dot product of large dimensional vectors.

It is another object of the present invention to provide an improved digital signal processing system for high speed calculation of convolutions, discrete Fourier transforms, transversal filters and other algorithms involving sequences of numbers.

It is another object of the present invention to provide a digital system for calculating the dot product of vectors in which the processing time is substantially reduced over prior systems which have performed multiple multiplications in serial fashion.

It is another object of the present invention to provide a high speed sum-of-products processor that can readily be implemented with existing integrated circuits.

According to the present invention, a digital circuit executes a parallel algorithm to compute the dot product of large dimensional vectors at very high speed. The circuit may be made of a plurality of cascaded 1-bit correlator chips and a plurality of ALU chips that sum the output of the correlator chips. Alternatively, a general purpose computer architecture for implementing the invention is also provided.

Brief Description of the Drawings

FIG. 1 illustrates the logical operation performed on a bit pair by an AND gate in the first step of the parallel sum-of-products computation performed by my invention.

FIG. 2 illustrates the function of a plurality of such AND gates followed by summation in one bit plane in a second step of the computation.

FIG. 3 illustrates a plurality of cascaded correlator chips connected to an adder for performing the parallel sum-of-products computation in accordance with my invention.

FIG. 4 is a functional block diagram illustrating an architecture for performing the parallel sum-of-products calculation on a general purpose computer.

Description of the Preferred Embodiments

Arbitrary non-negative integers A.sub.k and B.sub.k smaller than 2.sup.N have a binary representation ##EQU5## where each a.sub.k (i) and b.sub.k (i) is a zero or one. Using the above representations, an arbitrary sum of products can be rearranged as follows: ##EQU6## defining a(i) and b(j) to be the vectors ##EQU7## and substituting a(i) and b(j) in (7), we have that where "." is the dot product. Note that a(i) and b(j) are vectors of dimension Q whose components are 0 or 1. Thus a(i).multidot.b(j) is the number of times corresponding components are 1. For example, if a(i)=(0,1,1,1,0,0,1,0) b(j)=(1,0,1,0,1,1,1,0)

then a(i).multidot.b(j)=2.

For the case Q=1, which is ordinary binary multiplication, a(i) and b(j) are one dimensional vectors. In this particular case, Algorithm No. 9 can be rewritten as ##EQU8## Algorithm No. 10 is interpreted as follows:

1. If b(j)=1, then A.sub.1 is shifted j units and added to the previous result.

2. If b(j)=0 than A.sub.1 is shifted and zero is added to the previous result.

Since ##EQU9## is the binary representation of B.sub.1, Algorithm No. 11 is just Booth's algorithm for multiplying two binary numbers. See A. D. Booth, "A Signed Binary Multiplication Technique", Q. Jl. Mech. Appl. Math, pp. 236-240, 1951.

For Q greater than one, a(i).multidot.b(j), which in general is not equal to zero or one, is shifted by 2.sup.i+j and added to the previous result if a binary representation is used for a(i).multidot.(j). Thus a sum of Q products can be computed in N.sup.2 steps where N is the number of bits used to digitize the entries involved and is independent of Q which denotes the number of products summed. However, it should be noted that the dimension of the vectors a(i) and b(j) are Q which has some effect on the time required to compute a(i).multidot.b(j).

To further understand Algorithm No. 9, consider the case B.sub.k =1 for k=1, . . . ,Q. Then b(j), which will be referred to as the 2.sup.j -bit plane, is the zero vector for j.noteq.0 or the vector whose components are all one if j=0. Thus a(i).multidot.b(j) =0 for j.noteq.0 and (9) reduces to ##EQU10## From Algorithm No. 12, it can be concluded that the sum of Q numbers requires only N steps. Thus to take advantage of (12), one must choose Q larger than the number of bits used in quantization.

So far, only positive integers have been considered for Algorithm No. 9. Because the sums involved are finite, it is always possible to find positive integers X and Y such that A.sub.k +X and B.sub.k +Y are non-negative for all k. It can also be assumed that A.sub.k +X and B.sub.k +Y are less than 2.sup.N. Expanding, ##EQU11##

From Algorithm No. 14, it can be seen that the sum of products involving negative numbers can be reduced to previously considered cases. If X, Y, and Q are chosen as powers of 2, computing Algorithm No. 14 becomes greatly simplified.

Implementation of Algorithm No. 9 in digital hardware at very fast rates, requires that a means be devised to calculate a(i).multidot.b(j). The multiplication of a(i).multidot.b(j) by 2.sup.i+j can be accomplished using shift registers. Recalling that a(i) and b(j) represent the 2.sup.i and 2.sup.j bit planes, whose components are either 0 or 1, it follows that ##EQU12## where .andgate. represents a logical "AND". FIG. 1 illustrates a.sub.k (i) and b.sub.k (j) being input to AND gate 10 whose output is a.sub.k (i).andgate.(b.sub.k (j). The outputs of a plurality of AND gates 12 (FIG. 2) may thus be summed by a parallel adder 14 to obtain a(i).multidot.b(j).

TRW has an integrated circuit correlator chip, denoted TMC 2221, which is commercially available to perform a(i). b(j) for Q=128. It accepts a(i) and b(j) serially at a 20MHZ rate and outputs a 7-bit word for the dot product. Cascading these chips, allows one to handle Q=128r where r is the number of chips cascaded. Eight of of these chips 16 can be connected as illustrated in FIG. 3 to sum, via adder 18, eight dot products of length 128 to obtain ##EQU13## at a 20 MHZ rate. The adder may be made of interconnected ALU chips made by Advanced Micro Devices, such as three Am 25LS381, one Am 25LS2517 and one Am 2902 (look ahead generator). Summing up the output of eight such modules, as shown in FIG. 3, one can obtain ##EQU14## where A.sub.k and B.sub.k are 8 bit words, at a 20 MHZ rate. Used as a transversal filter, the throughput of this circuit is greater than five billion operations per second. Greater throughputs can be obtained by cascading more devices.

The usefulness of the circuit of FIG. 3 can be improved if the B inputs can be loaded in parallel. In this configuration, the discrete Fourier transform can be performed by loading the bit planes of the appropriate coefficients in memory. Thus, a 128 point real transform could be processed in less than 100 microseconds after data has been loaded in the case of the specified TRW chips. Longer transforms could be handled by cascading more chips.

For general purpose computers, the architecture illustrated in FIG. 4 is more appropriate. Here the A.sub.k 's and B.sub.k 's are down loaded from memories 20 and 22 into the serial-in-parallel-out (SIPO) barrel shift registers 24 and 26. This effectively creates the bit planes a (0), . . . ,a(N-1), b(0), . . . ,b(N-1) with b(N-1) and a (N-1) appearing as inputs to the A.multidot.B processor 28 when 0 is applied to OR gates 30 and 32. Holding the b(N-1) and rotating through the A bit planes, one obtains ##EQU15## a(j)) if the output of adder 34 is shifted each time and initialized at start up. S(N-1) is then sent to adder 36 and added to zero with the output shifted one unit.

With the B bit plane shifted to b(N-2) the above procedure is repeated with ##EQU16## added to 2S(N-1) at adder 36 and shifted. Repeating the above N times gives an output at adder 36 equal to ##EQU17##

If 1 is applied to the B OR gate 32, then shifting thru the A bit planes gives ##EQU18## In a similar manner, ##EQU19## can be obtained. Thus, Algorithm No. 14 can be implemented using the architecture illustrated in FIG. 4. Monitoring the bit planes for a zero vector, the speed of computation can be increased by just shifting the appropriate shift register and proceeding.

If individual bit planes of the N bit planes can be updated as they are rotated, the architecture illustrated in FIG. 4 enables the discrete Fourier transform of Q points to be calculated at very fast rates since Q multiplications and Q adds are being done simultaneously. At the same time, the frequency calculated is determined by down loading the appropriate coefficients. This gives flexibility not obtainable before at speeds approaching optical processors. The architecture illustrated in FIG. 4, with appropriate controls, can perform the basic digital signal processing algorithms such as convolution, discrete Fourier transform and transversal filtering handling positive and negative numbers.

Claims

I claim:

1. A circuit for calculating a(i).multidot.b(j) where a(i) is the vector (a,(i), a.sub.2 (i) . . . ,a.sub.Q (i)),b(j) is the vector (b,(j),b.sub.2 (j), . . . b.sub.Q (j)), each a.sub.k (i) is a zero or a one, and each b.sub.k (j) is a zero or a one, comprising: first memory means for storing digital signals representing a(i); second memory means for storing digital signals representing b(j); a first serial-in-parallel-out barrel shift register for creating the bit planes a(o), . . . ,a(N-1) from the digital signals stored in the first memory means; a second serial-in-parallel-out barrel shift register for creating the bit planes b(o), . . . ,b(N-1) from the digital signals stored in the second memory means; a first OR gate having a first input connected to the first serial-in-parallel-out barrel shift register; a second OR gate having a first input connected to the second serial-in-parallel-out barrel shift register; means for applying a zero or a one to a second input of each of the OR gates; a correlator connected to an output of the first OR gate and an output of the second OR gate; and mean connected to the correlator for summing a plurality of successive outputs of the correlator.

Patent Citations (20)

Patent	Date	Inventor
US3163749	1964-12-01	Roth et al.
US3300626	1967-01-01	Ling
US3300627	1967-01-01	Arden
US3372269	1968-03-01	MacSorley et al.
US3670956	1972-06-01	Calhoun
US3691359	1972-11-01	Dell et al.
US3732409	1973-05-01	Fletcher et al.
US3752971	1973-08-01	Calhoun et al.
US3831013	1974-08-01	Alsop et al.
US3980873	1976-09-01	Mattei
US4031377	1977-06-01	Deutsch et al.
US4135249	1979-01-01	Irwin
US4142242	1979-02-01	Duvochel et al.
US4149259	1979-04-01	Kowalski
US4153938	1979-05-01	Ghest et al.
US4369500	1983-01-01	Fette
US4392232	1983-07-01	Andren et al.
US4616330	1986-10-01	Betz
US4646327	1987-02-01	Kojima et al.
GBX2095067	1982-09-01

Non-Patent Literature (3)

Floyd, "Digital Logic Fundamentals", 1977, Bell & Howell Co., Columbus, Ohio, pp. 388-392.
A. Weinberger, "Multiplier Decoding with Look Ahead", IBM Technical Disclosure Bulletin, vol. 20, No. 9, Feb. 1978, pp. 3591-3593.
T. Jayashree and D. Basu, "On Binary Multiplication Using Quarter Space Algorithm", IEEE Transactions on Computers, Sep. 1976, pp. 957-960.