Efficient orthonormality testing for synthesis with pass-transistor selectors | IEEE Conference Publication | IEEE Xplore