HIGHLY PARALLEL SPECIAL-PURPOSE PROCESSOR FOR SOLVING BOOLEAN FORMULA SATISFIABILITY PROBLEM Russian patent published in 2013 - IPC G06F17/00 G06F7/57 

FIELD: information technology.

SUBSTANCE: special-purpose processor has a clock signal amplifier, an N-bit shift register, a hierarchical layer N processor module consisting of hierarchical layer J (J=1,…N) units, each consisting of identical first and second hierarchical layer J-1 units, a first OR element and a first multiplexer, and a hierarchical layer 0 base unit, having first and second RS flip-flops, second, third and fourth OR elements, first, second and third AND elements, an XOR element and a second multiplexer.

EFFECT: reduced complexity of the special-purpose processor owing to a simpler design of the processor module, broader functional capabilities by eliminating limitations on the number of disjunction operations in the Boolean function and high speed of solving satisfiability of Boolean functions by eliminating the step for pre-set up of the special-purpose processor.

5 dwg