Redundancy removal and test generation for circuits with non-Boolean primitives | IEEE Journals & Magazine | IEEE Xplore