Equivalence Checking on System Level Using a Priori Knowledge | IEEE Conference Publication | IEEE Xplore