Checking signal transition graph implementability by symbolic BDD traversal.

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev

Browse the full DATE paper archive.