Equivalence checking combining a structural SAT-solver, BDDs, and simulation | IEEE Conference Publication | IEEE Xplore