A test synthesis technique using redundant register transfers | IEEE Conference Publication | IEEE Xplore