Title:

Kind
Code:

A1

Abstract:

A methodology for describing an input-output behavior of a multi-level logic gate to process simultaneously a multiplicity of independent Boolean logic functions, with each Boolean function processing signals carried on an individual, separate channel. An embodiment may simultaneously process the same data with the same function or with different functions, multiple data with the same function, or multiple data with different functions. In addition, multi-level logic signals (having more than two levels) may be processed, so that a higher communication bandwidth may be obtained without necessarily increasing the number of traces (wires). Other embodiments are described and claimed.

Inventors:

STOICA, Adrian (3579 E. Foothill Blvd, #120Pasadena, CA, 91107, US)

ANDREI, Radu (419 Monte Vista, Pasadena, CA, 91107, US)

ANDREI, Radu (419 Monte Vista, Pasadena, CA, 91107, US)

Application Number:

US2009/035277

Publication Date:

09/03/2009

Filing Date:

02/26/2009

Export Citation:

Assignee:

CALIFORNIA INSTITUTE OF TECHNOLOGY (1200 E. California Blvd, Pasadena, CA, 91125, US)

STOICA, Adrian (3579 E. Foothill Blvd, #120Pasadena, CA, 91107, US)

ANDREI, Radu (419 Monte Vista, Pasadena, CA, 91107, US)

STOICA, Adrian (3579 E. Foothill Blvd, #120Pasadena, CA, 91107, US)

ANDREI, Radu (419 Monte Vista, Pasadena, CA, 91107, US)

International Classes:

View Patent Images:

Attorney, Agent or Firm:

KALSON, Seth (P.O. Box 52050Minneapolis, MN, 55402, US)

Claims:

What is claimed is:

1. A method to provide an input-output relationship to process K input multi-level logic signals into an output signal, the method comprising: choosing a decoding scheme to decode the K input multi-level logic signals into a set of M' bits on each channel of M channels; choosing Boolean functions for each channel; and choosing an encoding scheme to encode the output of the Boolean functions into the output signal.

2. The method as set forth in claim 1, where M' = M.

3. The method as set forth in claim 1 , wherein the decoding scheme applies the same decoding function to each of the K input multi-level logic signals.

4. A logic gate to provide an output signal y in response to K input signals x _{k}
, k = 1, 2, ..., K, the logic gate comprising M channels C _{m}
, m = 1,2, ... , M to propagate data signals to perform M Boolean functions f _{m}
, m = 1,2, ... , M, where for each k =

1,2, ... , K, input signal x _{k}
maps into an M'-tuple of bits

(x _{k}
(M'), x _{k}
{M' — 1), ... , x _{k}
(2),x _{k}
(ϊ)), where each x _{fc}
(m) is a binary logic signal, where a subset of the set of K M'-tuples ((x _{k}
(M'), x _{fc}
(M' - l), ... , χ _{k}
(2), x _{k}
(ϊ)), k — 1,2, ... , K} is transmitted over the M channels, and where the output signal y is a function of the M-tuple of binary signals (Z _{M}
(C _{M}
)' / _{M}
- _{I}
K _{M}
- _{I}
)- - J _{I}
[C _{I}
)J _{I}
[C _{I}
)), where for each m — 1,2, ... ,M, {C _{m}
} is the subset of the set of K M'-tuples {(x _{fc}
(M'), x _{k}
(M' — l), ... , X _{f}
c(2), X _{f}
c(l)), k = 1,2, ... , K} that is transmitted over the channel C _{m}
, and f _{m}
[C _{m}
} is an output of Boolean function f _{m}
for the set of binary logic signals {C _{m}
}.

5. The logic gate as set forth in claim 4, where M' = M, where for each k = 1,2, ... , K, x _{k}
(m) is sent over channel C _{m}
for each m = 1,2, ... , M, where for each m = 1,2, ... , M, {C _{m}
} is the set of binary logic signals (X _{1}
(m), X _{2}
(m), ... , x _{κ}
(m)}.

attorney docket cit.5093PCT 8 client docket CIT-5093-PCT

6. The logic gate as set forth in claim 4, wherein a same mapping is applied to each signal x _{k}
.

7. A method to synthesize a simul-gate logic circuit given a logic circuit comprising a set of Boolean logic gates [B _{t}
, i — 1, 2, ... , N], the method comprising: replacing, for each i = 1, 2, ... ,7V, the Boolean logic gate B _{t}
in the logic circuit with the simul-gate (B _{t}
, B _{t}
, ... , B _{t}
), where B _{t}
is repeated M times.

8. The method as set forth in claim 7, where for each i = 1, 2, ... , N, the simul-gate (B _{1}
, B _{1}
, ... , B{) is such that in response to K(i) input signals x _{k}
(i), k = 1, 2, ... , K(i), the the simul-gate (Bi, B _{t}
, ... , B _{t}
) comprises M channels C _{m}
(i), m = 1, 2, ... , M to propagate data signals to perform the Boolean function B _{t}
M times, where for each k =

1,2, ... , K(i), input signal x _{k}
(i) maps into an M-tuple of bits (x _{k}
(i, M), x _{k}
(i, M —

1), ... , x _{k}
(i, 2), x _{k}
(i, I)), where each x _{k}
(i, m) is a binary logic signal, where x _{k}
(i, m) is sent over channel C _{m}
(i) for each m = 1,2, ... , M, and where an output signal y(i) is a function of the M-tuple of binary signals

(B _{t}
{C _{M}
(i)}, B _{1}
[C^ _{1}
(I)), - MC _{2}
(i)l B _{1}
[C _{1}
(i)}), where for each k = 1,2, ... , K(ι), x _{k}
(i,m) is sent over channel C _{m}
(ϊ) for each m = 1,2, ... , M, where for each m =

1,2, ... , M, [C _{m}
(i)} is the set of binary logic signals [X _{1}
(I, m), x _{2}
(i, m), ... , x _{κ}
(i, m)}, and

Bi[C _{m}
(i)} is the output of Boolean function B _{t}
for the set of binary logic signals [C _{m}
(i)}.

attorney docket cit.5093PCT 9 client docket CIT-5093-PCT

Description:

United States Patent Application

METHOD AND APPARATUS FOR SIMULTANEOUS PROCESSING OF

MULTIPLE FUNCTIONS

INVENTORS

Adrian Stoica Radu Andrei

Prepared By:

Seth Z. Kalson

ATTORNEY DOCKET cit.5093PCT Client Ref. CIT-5093-PCT

attorney docket cit.5093PCT 1 client docket CIT-5093-PCT

METHOD AND COMPONENTS FOR SIMULTANEOUS PROCESSING OF

MULTIPLE FUNCTIONS

Priority Claim

[0001] This application claims the benefit of U.S. Provisional Application No.

61/067,666, filed 29 February 2008.

Government Interest

[0002] The invention claimed herein was made in the performance of work under a NASA contract, and is subject to the provisions of Public Law 96-517 (35 USC 202) in which the Contractor has elected to retain title.

Field [0003] The present invention relates to electronic logic gates.

Background

[0004] A substantial amount of research in electronic microsystems has focused on bringing more computing power to smaller devices. Traditional approaches to increase computing bandwidth has often focused on exploiting concurrency, such as by allocating increasingly more gates to specific tasks, or by performing instructions faster, such as operating gates at higher speeds. These traditional approaches are expected to have diminishing returns, and may bump up against technological barriers, such as for example limitations on power dissipation.

Brief Description of the Drawings

[0005] Figure 1 illustrates the input-output relationship of a logic gate according to an embodiment.

[0006] Figure 2 illustrates the input-output relationship of an (AND, OR) logic gate according to an embodiment.

[0007] Figure 3 illustrates a methodology for constructing the input-output relationship of a logic gate according to an embodiment.

[0008] Figure 4 illustrates the input-output relationship of an adder logic unit according to an embodiment.

attorney docket cit.5093PCT 1 client docket CIT-5093-PCT

Description of Embodiments

[0009] In the description that follows, the scope of the term "some embodiments" is not to be so limited as to mean more than one embodiment, but rather, the scope may include one embodiment, more than one embodiment, or perhaps all embodiments. [0010] Embodiments increase functional density at the logic gate level by combining multiple functions within a single gate. Embodiments may process simultaneously a multiplicity of independent Boolean logic functions, with each Boolean function processing signals carried on an individual, separate channel. An embodiment may simultaneously process the same data with the same function or with different functions, multiple data with the same function, or multiple data with different functions. In addition, multi-level logic signals (having more than two levels) may be processed, so that a higher communication bandwidth may be obtained without necessarily increasing the number of traces (wires). Such an embodiment may be referred to as a simul-gate. [0011] Embodiments may be described by their input-output behavior. The input signals, and the output signal, may each in general have more than two logic levels, or values. For example, an input or output signal may have logic levels in the set

{0, f-J v, f-J v, v}, where v is some voltage scale. A correspondence between the binary symbols 0 and 1 and these logic voltage levels may be taken as: 00 <→ 0; 01 <→ f-J v; 10 <→ f-J v; and 11 <→ v. Other embodiments may have more than four logic levels. It is not necessary that the number of logic levels in a set of logic levels be a power of two.

[0012] Referring to Figure 1 , the input-output behavior of an embodiment may be represented by K input ports 102, decoder 104, M channels 106, M Boolean gates 108, encoder 110, and output port 112. There are K input signals, one for each input port, denoted by x _{k}
, k = 1, 2, ... , K. The output signal at output port 112 is represented by y. The M Boolean functions f _{m}
, m = 1, 2, ... , M denote the functional behavior of the Boolean gates, where each f _{m}
denotes the functional input-output behavior of its corresponding Boolean gate. The M channels may be represented by the symbols C _{m}
, m = 1, 2, ... , M. A channel C _{m}
may be considered a set of input ports for the Boolean gate corresponding to the Boolean function f _{m}
.

attorney docket cit.5093PCT 2 client docket CIT-5093-PCT

[0013] In describing the input-output behavior of the embodiment in Figure 1, each input signal x _{k}
is considered a multi-level logic signal, where decoder 104 decodes each multi-level logic signal into a set of binary signals. Each set of binary signals is dispersed among all the channels in the sense that for any particular set of binary signals, one binary signal from that set is provided to the first channel, a second binary signal from that set is provided to the second channel, and so on, so that the last binary signal from that set is provided to the last channel. For the particular embodiment illustrated in Figure 1 , each channel carries binary signals obtained from all the multi-level logic signals provided as input to decoder 104. However, other embodiments may have one or more channels that do not carry any binary signals associated with one or more input multi-level logic signals. Each channel may be viewed as carrying binary signals to its corresponding Boolean gate, where each Boolean gate then processes its binary signals to provide a binary output to encoder 110. Encoder 110 then encodes these binary signals to provide a multi-level logic signal at output port 112.

[0014] Embodiments may be described in more detail by introducing additional notation. Decoder 104 maps input signal x _{k}
into the M-tuple of bits (x _{fc}
(M) , x _{k}
(M — 1), ... , x _{fc}
(2), X _{f}
e(l)) for each k — 1,2, ... , K, where each x _{k}
(m) is a binary logic signal, and where x _{k}
(m) is sent over channel C _{7n}
for each m = 1,2, ... , M and for each k. In this way, for each m — 1,2, ... , M, channel C _{7n}
carries the set of binary signals (X _{1}
(m), X _{2}
(m), ... , x _{κ}
(m)}. For each m = 1,2, ... , M, Boolean gate f _{m}
operates on the set of binary signals (X _{1}
(m), X _{2}
(rn), ... , x _{κ}
(m)} to provide an output binary signal that may be expressed as Z _{7n}
(X _{1}
(m), X _{2}
(m), ... , x _{κ}
(m)}. This output binary signal may be written more compactly as f _{m}
{C _{m}
}, where when C _{7n}
is the argument of f _{m}
, it stands for the set of binary signals carried on channel C _{7n}
. Encoder 112 has as its input the M-tuple of binary signals (f _{M}
{C _{M}
], f _{M}
-i{C _{M}
-i}> ■■■ > hi^ /i( ^{c}
i}) _{>} ^{an}
d maps this into a multi-level logic output signal y.

[0015] For some embodiments, the output of each Boolean gate does not depend upon the ordering of its input signals. This was the motivation for using set notation in describing the input and output relationship of a Boolean gate. For example, the output binary signal of Boolean gate f _{m}
was written as f _{m}
{C _{m}
}. For some embodiments, the decoding scheme is separable in the sense that the same decoding scheme is applied

attorney docket cit.5093PCT 3 client docket CIT-5093-PCT

separately to each x _{k}
. If each Boolean gate does not depend upon the ordering of its input signals, and if the decoding scheme is separable so that the same decoding scheme is applied to each x _{k}
, then because each channel C _{m}
carries the set of binary signals (X _{1}
(m), X _{2}
(m), ... , x _{κ}
(m)} for each m = 1,2, ... , M, the output of the simul-gate is independent of the ordering of the input signals x _{k}
.

[0016] For some embodiments the output of encoder 110 depends upon the ordering of its input signals. This was the motivation for using M-tuple notation for the encoder. As a result, for some embodiments the output signal y may depend upon the ordering of the correspondence between the Boolean gates and the channels. With this in mind, the input-output behavior for the embodiment of Figure 1 may be referred to as an (/ _{M}
' ϊ _{M}
- _{1}
' - 'fi' A) simul-gate, where the use of an M-tuple reminds one that the input- output behavior may depend upon the ordering of the correspondence between the Boolean gates and the channels.

[0017] For some embodiments, the signals x _{k}
for k = 1,2, ... , K may be such that a decoder maps input signal x _{k}
into the M '-tuple of bits

(x _{k}
(M'), x _{k}
(M' — 1), ... , x _{fc}
(2),x _{fc}
(l)) for each k = 1,2, ... , K, where each x _{k}
{m) is a binary logic signal, but where M' ≠ M. For example, if M' > M, then not all of the binary signals may be carried by the channels. As another example, if M' < M, then some channels may carry the same set of binary signals, but to different logic gates. In general, a subset of the set of K M'-tuples {(x _{fc}
(M'), x _{fc}
(M' - 1), ..., x _{fc}
(2), x _{fc}
(l)), k = 1,2, ... , K] is transmitted over the M channels. A subset may not be a proper subset. That is, a subset of a set may be the set itself.

[0018] To provide a specific example of a simul-gate, an (AND, OR) simul-gate embodiment is illustrated in Figure 2. The (AND, OR) simul-gate has two input ports: port 202 for input signal X _{1}
and port 204 for input signal X _{2}
. Input signals X _{1}
and X _{2}
are each four-level logic signals, described by the set of voltage levels (0, f-J v, f-J v, v), or

for simplicity, (0, f -J , (-J , 1} where v is taken as unity. The decoding scheme is separable, where decoder 206 decodes input signal X _{1}
, decoder 208 decodes input signal X _{2}
, and decoders 206 and 208 each perform the identical decoding function: 0 → 00;

Q) → 01; g) → 10; and l → ll.

attorney docket cit.5093PCT 4 client docket CIT-5093-PCT

[0019] Associated with channel C _{1}
, denoted by data flows 210 and 212, is the

Boolean OR function, represented by OR gate 214. Associated with channel C _{2}
, denoted by data flows 216 and 218, is the Boolean AND function, represented by AND gate 220. Encoder 222 performs the inverse of decoders 206 and 208. That is, 00 → 0; 01 →

(-); 10 → (-); and 11 → 1, where the lowest and highest order bits in 00, 01, 10, and 11 refer to, respectively, the outputs of OR gate 214 and AND gate 220. [0020] With the decoding and encoding schemes so defined, it is straightforward to develop the truth table for the (AND, OR) simul-gate of Figure 2. For example, for X _{1}
= 2/3 and X _{2}
= 1/3, the output is y = 1/3. Note that for an (OR, AND) simul-gate, OR gate 214 and AND gate 220 would exchange places in the topology of Figure 2, so that an AND gate would be associated with channel C _{1}
, and an OR gate would be associated with C _{2}
. The truth table for the (OR, AND) gate is different from the truth table for the (AND, OR) gate.

[0021] The data flows and logic gates in Figure 1 illustrate the input-output behavior of a simul-gate, but do not necessarily represent a hardware description of an embodiment. Figure 1 and its description provide a methodology for describing simul- gates and constructing their input-output relationships based upon well known Boolean functions. Figure 3 summarizes this method, where in block 302 a decoding scheme is chosen to decode K input multi-level logic signals into a set of M bits on each channel of M channels; in block 304 Boolean functions are chosen for each channel; and in block 306 an encoding scheme is chosen for encoding the output of the Boolean functions into the output signal.

[0022] The methodology described herein may also be used to provide embodiments to increase the number of bits that are processed in a conventional system of conventional logic gates by replacing the conventional gates with simul-gates that perform the same function but on multiple channels. A particular example is illustrated in Figure 4, where the methodology described herein was applied to a conventional one bit full adder logic unit. In this example, where the conventional full bit adder logic unit has a logic OR, AND, or XOR (exclusive OR) gate, that gate is replaced with, respectively, an (OR, OR), (AND, AND), or (XOR, XOR) simul-gate. [0023] In Figure 4, input signals "A" and "B" at input ports 402 and 404, and attorney docket cit.5093PCT 5 client docket CIT-5093-PCT

input signal "CARRY IN" at input port 406, are multi-level logic signals; and output signal "SUM" at output port 408 and output signal "CARRY OUT" at output port 410 are also multi-level logic signals. These signal names are derived from the conventional signal names in a conventional adder, where "A" and "B" represent the bits to be added along with the "CARRY IN" bits, and "SUM" represents the resulting sums where "CARRY OUT" are the bits to be carried over into the next adder unit. The encoding and decoding scheme as described with respect to the embodiment of Figure 2 may be used with the simul-gates in the embodiment of Figure 4. In this way, the embodiment of Figure 4 processes two bits at a time.

[0024] For some embodiments, because the CARRY OUT signal isn't available for higher order bits until the lower order bits have been added, parts of the numbers to be added by an adder with simul-gates are time shifted so that the CARRY OUT signal is available when needed. The following example makes this clear. Suppose the numbers U and V are to be added, the numbers W and X are to be added, and the numbers Y and Z are to be added. Let the first and second bits of U be denoted as U[I] and U[2], respectively. Similar notation applies to the other numbers. Then for the first addition cycle, only one half of the adder is adding the two one-bit numbers U[I] and V[I]. At the second addition cycle, W[I] and X[I] are being added while at the same time U[2] and V[2] are being added. Because the part of the CARRY OUT signal associated with U[I] and V[I] is available at the beginning of the second addition cycle, it may be used in the CARRY IN signal for adding U[2] and V[2]. At the third addition cycle, Y[I] and Z[I] are being added, and W[2] and X[2] are being added. Because the part of the CARRY OUT signal associated with W[I] and X[I] is available at the beginning of the third addition cycle, it may be used in the CARRY IN signal for adding W[2] and X[2]. At the fourth addition cycle, only one half of the adder is adding the two one-bit numbers Y[2] and Z[2], and the part of the CARRY OUT signal associated with Y[I] and Z[I] is available to be used in the CARRY IN signal for adding Y[2] and Z[2]. [0025] In general, once a logic circuit has been specified comprising a set of N

Boolean logic gates {B _{t}
, i = 1, 2, ... , N], along with their interconnections, then a logic circuit comprising simul-gates may synthesized in which each logic gate B _{t}
is replaced with the simul-gate (B _{p}
B _{i:}
... , Bi), where B^ is repeated M times.

attorney docket cit.5093PCT 6 client docket CIT-5093-PCT

[0026] The embodiments described here are applicable to sequential logic as well as to combinational logic. Various modifications may be made to the disclosed embodiments without departing from the scope of the invention as claimed below.

attorney docket cit.5093PCT 7 client docket CIT-5093-PCT