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]
Abstract is missing.