Combinational circuits checking on the base of sum codes with one weighted data bit | IEEE Conference Publication | IEEE Xplore