Christoph Scholl, Rolf Drechsler, Bernd Becker. Functional simulation using binary decision diagrams. In ICCAD. pages 8-12, 1997. [doi]
@inproceedings{SchollDB97, title = {Functional simulation using binary decision diagrams}, author = {Christoph Scholl and Rolf Drechsler and Bernd Becker}, year = {1997}, doi = {10.1145/266388.266402}, url = {http://doi.acm.org/10.1145/266388.266402}, researchr = {https://researchr.org/publication/SchollDB97}, cites = {0}, citedby = {0}, pages = {8-12}, booktitle = {ICCAD}, }