A theory and implementation of sequential hardware equivalence | IEEE Journals & Magazine | IEEE Xplore