A novel abstraction-guided simulation approach using posterior probabilities for verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jian Wang, Huawei Li, Xiaowei Li 0001. A novel abstraction-guided simulation approach using posterior probabilities for verification. In Technical Papers of 2014 International Symposium on VLSI Design, Automation and Test, VLSI-DAT 2014, Hsinchu, Taiwan, April 28-30, 2014. pages 1-4, IEEE, 2014. [doi]

This author has not been identified. Look up 'Jian Wang' in GoogleThis author has not been identified. Look up 'Huawei Li' in GoogleThis author has not been identified. Look up 'Xiaowei Li 0001' in Google

runs on WebDSL