Implicit state enumeration of finite state machines using BDD’s (1990)

by H Touati, H Savoj, B Lin, R K Brayton, A Sangiovanni-Vincentelli
Venue:The Proceedings of the International Conference on Computer-Aided Design