Equivalence checking on ESL utilizing a priori knowledge | IEEE Conference Publication | IEEE Xplore