@article{GoesselMorozovSapozhnikovetal.2005, author = {Goessel, Michael and Morozov, A. V. and Sapozhnikov, V. V. and Sapozhaikov, Vl. V.}, title = {Checking combinational circuits by the method of logic complement}, issn = {0005-1179}, year = {2005}, abstract = {Design of fully self-testing combinational circuits was considered. A theorem defining the conditions for guaranteed logic complement-based design of fully self-testing circuit was proved. Examples were presented}, language = {en} }