Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
High quality behavioral verification using statistical stopping criteria
DATE, 2001.
@inproceedings{DATE-2001-HajjarCMAB,
author = "Amjad Hajjar and Tom Chen and Isabelle Munn and Anneliese Amschler Andrews and Maria Bjorkman",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367295",
isbn = "0-7695-0993-2",
pages = "411--419",
publisher = "{ACM}",
title = "{High quality behavioral verification using statistical stopping criteria}",
year = 2001,
}