A device for performing logic operations in which a Boolean equation to be solved is serially processed in a manner which results in a large reduction in the number of building blocks required while still allowing the solution of long logic equations.

A logic circuit and method for implementing a given, partially symmetric Boolean function f(x.sub.1 -x.sub.n) which is pairwise symmetric with respect to at least one pair x.sub.i x.sub.j of variables such that the function is invariant under their permutation. The circuit includes a symmetric logic array having a transposition gate for each pair x.sub.i x.sub.j, and a combinational logic circuit connected to the output of each transposition gate. The latter filters redundant values of each pair...

A logic module includes first and second multiplexers each having two data inputs and a select input. Both select inputs are connected to the output of a two-input logic gate of a first type. The inputs to the first and second multiplexers comprise data signals from a first group. One input of each logic gate comprises a data signal of a second group and the other input of each logic gate comprises a data signal of a third group. A third multiplexer has first and second data inputs connected the...

The existence of any one of a plurality of 2.sup.N -1 bioagents in a sample (1) may be determined by dividing the sample into N parts and performing separate ELISA processes (TEST 1 & TEST 2) on each of the N parts concurrently, where N is an integer greater than 1, each of the separate ELISA processes possessing the capability to identify a bioagent from a combination of possible bioagents (3), and in which the combination of possible bioagents of any one of the separate ELISA processes is diff...

A design verification method for verifying hardware designs utilizing combinational loop logic. A design verification system is provided wherein a model checker receives both a mathematical representation of the functionality of a design and a set of properties against which the mathematical model is to be checked. If the design contains a combinational loop wherein the output directly depends on its own output and must be logically completed within a single bus cycle, then modifications to the ...

A method for diagnosing defects in an integrated circuit comprising: providing a set of failing test patterns; for each failing test pattern in the set of test patterns determining if a single stuck-at fault could cause the failing test pattern and determining a node on which a defect causing the single stuck-at fault could reside; selecting those failing test patterns that could be caused by a single stuck-at fault; and for those selected failing test patterns determining a first set of sets of...

A self-checking combinational logic counter providing three predicted parity change bits. One of the bits is derived by logic independent of the counting logic, the other two bits being derived by logic dependent upon the operation of the counting logic. The three bits are compared to detect a match indicating an accurate prediction of a parity change or retention of original parity.

U.S. Pat. No. 4,067,431 discloses a combinational keyboard in which keys are operated in combinations much as a piano is played. A combination being those keys which are depressed between two periods in which no keys are depressed. Each combination generates a coded character. The present invention covers a modification of this keyboard system in which the character keyed depends upon the sequence in which the keys of the combination are operated as well as upon the combination itself. The prefe...

A four member encoding set is disclosed which allows the construction of combinational monolithic multipliers with a significant reduction in the number of devices required. The reduced device and wire count in the present technique allows a multiplier circuit of any given size to be made less expensively or alternatively allows a larger precision multiplier to be constructed.

A book construction having a spine foldably joining front and back covers. A plurality of leaves are foldably joined together to form an elongated accordion-foldable strip. A continuous panoramic illustration and text relating to the panoramic illustration are applied to the leaves of the strip. The first leaf of the strip is fixedly or detachably engaged to the front cover. The last leaf is detachably engaged to the back cover for conventional, leaf by leaf reading of the book with the leaves h...