Implicit State Enumeration of Finite State Machines Using BDDs.

Herv J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.