A Partitioning Methodology for BDD-Based Verification.

Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson

Browse the full FMCAD paper archive.