Optimized Assignment Coverage Computation in Formal Verification of Digital Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Majid Nabi, Hamid Shojaei, Siamak Mohammadi, Zainalabedin Navabi. Optimized Assignment Coverage Computation in Formal Verification of Digital Systems. In 16th Asian Test Symposium, ATS 2007, Beijing, China, October 8-11, 2007. pages 172-177, IEEE, 2007. [doi]

This author has not been identified. Look up 'Majid Nabi' in GoogleThis author has not been identified. Look up 'Hamid Shojaei' in GoogleThis author has not been identified. Look up 'Siamak Mohammadi' in GoogleThis author has not been identified. Look up 'Zainalabedin Navabi' in Google

runs on WebDSL