Testability-preserving circuit transformations | IEEE Conference Publication | IEEE Xplore