Design of completely self-checking discrete devices with the use of polynomial forms

The paper is concerned with design of completely self-checking combinational devices in the polynomial form. Conditions are given for intertwined implementation of functions in such devices.