Sequential equivalence checking based on structural similarities | IEEE Journals & Magazine | IEEE Xplore