Seqver : A Sequential Equivalence Verifier for Hardware Designs | IEEE Conference Publication | IEEE Xplore