Design verification by test vectors and arithmetic transform universal test set | IEEE Journals & Magazine | IEEE Xplore