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.
Abstract is missing.