Implicit state enumeration of finite state machines using BDDs (0)

by H Touati, H Savoj, B Lin, R K Brayton, A SangiovanniVincentelli
Venue:Proc. ICCAD ‘90