On verifying the correctness of retimed circuits | IEEE Conference Publication | IEEE Xplore