Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples | IEEE Conference Publication | IEEE Xplore