A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines. | IEEE Conference Publication | IEEE Xplore