Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.

In-Ho Moon, Carl Pixley

Browse the full FMCAD paper archive.