Testability of AND-EXOR logic vs. AND-OR logic | IEEE Conference Publication | IEEE Xplore