SimGen: Simulation Pattern Generation for Efficient Equivalence Checking | IEEE Conference Publication | IEEE Xplore