Abstract: The authors have proposed to use the Boolean complement method to polynomial codes for combinational circuits checking. The Boolean complement method is based all or part of the functions ...