Applied Boolean equivalence verification and RTL static sign-off | IEEE Journals & Magazine | IEEE Xplore