中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

限定条件                
已选(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
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16
design verification  simulation  coverage metrics  observability  vector generation  
Test resource partitioning based on efficient response compaction for test time and tester channels reduction 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 2, 页码: 201-209
作者:  Han, YH;  Li, XW;  Li, HW;  Chandra, A
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16
system-on-a-chip (SoC)  test resource partitioning (TRP)  response compaction  diagnose  error cancellation  
Formal verification techniques based on Boolean satisfiability problem 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 1, 页码: 38-47
作者:  Li, XW;  Li, GH;  Shao, M
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16
equivalence checking  incremental satisfiability  minimal unsatisfiable formula  model checking