Towards coverage closure: Using GoldMine assertions for generating design validation stimulus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan. Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 173-178, IEEE, 2011. [doi]

This author has not been identified. Look up 'Lingyi Liu' in GoogleThis author has not been identified. Look up 'David Sheridan' in GoogleThis author has not been identified. Look up 'William Tuohy' in GoogleThis author has not been identified. Look up 'Shobha Vasudevan' in Google

runs on WebDSL