A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit

Yingpan Wu, Lixin Yu, Wei Zhuang, Jianyong Wang. A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit. In Huaikou Miao, Gongzhu Hu, editors, 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China. pages 1049-1054, IEEE Computer Society, 2009. [doi]

Authors

Yingpan Wu

This author has not been identified. Look up 'Yingpan Wu' in Google

Lixin Yu

This author has not been identified. Look up 'Lixin Yu' in Google

Wei Zhuang

This author has not been identified. Look up 'Wei Zhuang' in Google

Jianyong Wang

This author has not been identified. Look up 'Jianyong Wang' in Google