Tom Chen, Anneliese Amschler Andrews, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu. Achieving the Quality of Verification for Behavioral Models with Minimum Effort. In 1st International Symposium on Quality of Electronic Design (ISQED 2000), 20-22 March 2000, San Jose, CA, USA. pages 234, IEEE Computer Society, 2000. [doi]
Abstract is missing.