“…that often have different numbers of registers. Even though there have been many publications on sequential equivalence checking as in [13,5,20,18,19], the industry has started to use sequential equivalence checking only recently with practical approaches handling fairly large designs [7,8,1,12]. Baumgartner et al proposed sequential equivalence checking through a series of various transformations with a given reset state.…”