SELF-CHECKING MODULAR PARAMETER CALCULATOR FOR SYSTEMS OF LOGICAL FUNCTIONS

摘要

Self-checking the modular calculator system logic functions, comprising a block conjunctions, whose inputs are the inputs of the device for supplying n Boolean variables, the outputs of which are connected to the first block memory for storing coefficients of a first polynomial redundant modular numerical normal form, a first adder, characterized in that it additionally administered second memory block, the inputs of which are connected with conjunctions unit outputs, wherein the second memory unit for storing coefficients W cerned polynomial modular redundant numerical normal shape, outputs of the first storage unit are connected to inputs of the first adder, the outputs of which are connected to the (s + 1) th, (s + 2) th, ..., (d + s) -th inputs (d - the number of realizable Boolean functions constituting data bits divisible AN-code, s - number of redundant Boolean functions corresponding redundant digits separable AN-code) block computing residue modulo and data inputs of the memory register, the outputs of which are the outputs of issuing values ​​apparatus d Boolean function s, the outputs of the second memory block are connected to inputs of the second adder, the outputs of which are connected to the 1st, 2nd, ..., s-th inputs of the modulo remainder calculation unit, the outputs of which are connected to the inputs of OR-NO element whose output is connected to a first input aND gate, a second input coupled to an input clock supply device, and an output connected to the clock terminal of register memory.