Ellen Sentovich, David L. Dill, Serdar Tasiran. Formal verification meets simulation (tutorial abstract). In Jacob K. White, Ellen Sentovich, editors, Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999. pages 221, IEEE, 1999. [doi]
@inproceedings{SentovichDT99,
title = {Formal verification meets simulation (tutorial abstract)},
author = {Ellen Sentovich and David L. Dill and Serdar Tasiran},
year = {1999},
url = {http://portal.acm.org/citation.cfm?id=339492.339640},
researchr = {https://researchr.org/publication/SentovichDT99},
cites = {0},
citedby = {0},
pages = {221},
booktitle = {Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999},
editor = {Jacob K. White and Ellen Sentovich},
publisher = {IEEE},
isbn = {0-7803-5832-5},
}