Using range-equivalent circuits for facilitating bounded sequential equivalence checking | IEEE Conference Publication | IEEE Xplore