Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation.

Viresh Paruthi, Andreas Kuehlmann

Browse the full ICCD paper archive.