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. 1049-1054 2009 ACIS-ICIS http://dx.doi.org/10.1109/ICIS.2009.34 conf/ACISicis/2009 db/conf/ACISicis/ACISicis2009.html#WuYZW09