On codeword testing of two-rail and parity TSC checkers | IEEE Conference Publication | IEEE Xplore