Combinational circuit check by boolean complement method based on “1-out-of-5” code | IEEE Conference Publication | IEEE Xplore