Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman. Stopping Criteria Comparison: Towards High Quality Behavioral Verification. In 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 26-28 March 2001, San Jose, CA, USA. pages 31-37, IEEE Computer Society, 2001. [doi]
@inproceedings{HajjarCMAB01:0,
title = {Stopping Criteria Comparison: Towards High Quality Behavioral Verification},
author = {Amjad Hajjar and Tom Chen and Isabelle Munn and Anneliese Amschler Andrews and Maria Bjorkman},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/isqed/2001/1025/00/10250031abs.htm},
researchr = {https://researchr.org/publication/HajjarCMAB01%3A0},
cites = {0},
citedby = {0},
pages = {31-37},
booktitle = {2nd International Symposium on Quality of Electronic Design (ISQED 2001), 26-28 March 2001, San Jose, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-1025-6},
}