Optimizing sequential verification by retiming transformations | IEEE Conference Publication | IEEE Xplore