Sequential equivalence techniques for high performance design | IEEE Conference Publication | IEEE Xplore