Transformations for functional verification of synthesized designs | IEEE Conference Publication | IEEE Xplore