Checking signal transition graph implementability by symbolic BDD traversal | Publicación