A design method for embedded self-testing t-UED and BUED code checkers | IEEE Conference Publication | IEEE Xplore