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]
@inproceedings{WuYZW09,
title = {A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit},
author = {Yingpan Wu and Lixin Yu and Wei Zhuang and Jianyong Wang},
year = {2009},
doi = {10.1109/ICIS.2009.34},
url = {http://dx.doi.org/10.1109/ICIS.2009.34},
tags = {rule-based, constraints, coverage},
researchr = {https://researchr.org/publication/WuYZW09},
cites = {0},
citedby = {0},
pages = {1049-1054},
booktitle = {8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China},
editor = {Huaikou Miao and Gongzhu Hu},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3641-5},
}