Transforming behavioral specifications to facilitate synthesis of testable designs | IEEE Conference Publication | IEEE Xplore