Implicit State Enumeration of Finite State Machines using BDD's (1990)

by H Touati, H Savoj, B Lin, R K Brayton, A L Sangiovanni-Vincentelli
Venue:In Proc. Intl. Conf. on Computer-Aided Design