CSpace

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
An efficient evaluation and vector generation method for observability-enhanced statement coverage 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 875-884
作者:  Lu, W;  Yang, XT;  Lv, T;  Li, XW
收藏  |  浏览/下载:43/0  |  提交时间:2019/12/16
design verification  simulation  coverage metrics  observability  vector generation  
无权访问的条目 期刊论文
作者:  Wei Lu(鲁巍);  Xiu-Tao Yang(杨修涛);  Tao Lv(吕涛);  Xiao-Wei Li(李晓维)
Adobe PDF(701Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/03