Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev. Checking signal transition graph implementability by symbolic BDD traversal. In 1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995. pages 325-332, IEEE Computer Society, 1995. [doi]
Abstract is missing.