Logic synthesis and testability of D-reducible functions | IEEE Conference Publication | IEEE Xplore