US8407639B2 - Systems and Methods for Mapping State Elements of Digital Circuits for Equivalence Verification