Enhanced equivalence checking: toward a solidarity of functional verification and manufacturing test generation | IEEE Journals & Magazine | IEEE Xplore