Stopping Criteria Comparison: Towards High Quality Behavioral Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Amjad Hajjar' in GoogleThis author has not been identified. Look up 'Tom Chen' in GoogleThis author has not been identified. Look up 'Isabelle Munn' in GoogleIdentified as Anneliese Amschler Andrews This author has not been identified. Look up 'Maria Bjorkman' in Google

runs on WebDSL