Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions.

Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCD paper archive.