已选(0)清除
条数/页: 排序方式: |
| Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 405-421 作者: Zhang, Ying; Ji, Peng-Fei; Zhu, Pan-Wei; Peng, Zebo; Li, Hua-Wei; Jiang, Jian-Hui
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04 software-based self-testing (SBST) parallel test kilo-core networks-on-chip (NoCs) online testing |
| Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727 作者: Zhang, Ying; Chakrabarty, Krishnendu; Peng, Zebo; Rezine, Ahmed; Li, Huawei; Eles, Petru; Jiang, Jianhui
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:51/0  |  提交时间:2020/12/10 Circuit faults Built-in self-test Out of order Model checking Integrated circuit modeling Bounded model checking (BMC) online testing out-of-order superscalar processors software-based self-testing (SBST) |
| Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 6, 页码: 999-1011 作者: Zhou, Yanhong; Wang, Tiancheng; Li, Huawei; Lv, Tao; Li, Xiaowei
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:65/0  |  提交时间:2019/12/13 Abstraction-guided simulation functional test generation hard-to-reach states path constraint solving |
| 无权访问的条目 期刊论文 作者: 赵阳; 吕涛; 李华伟; 李晓维
Adobe PDF(556Kb)  |   收藏  |  浏览/下载:1/0  |  提交时间:2010/11/05 |
| 无权访问的条目 期刊论文 作者: 沈海华; 卫文丽; 陈云霁
Adobe PDF(1259Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/05 |
| 无权访问的条目 期刊论文 作者: 傅亮; 卢鼎; 张志敏; 孙愿
Adobe PDF(623Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/09 |
| 无权访问的条目 期刊论文 作者: Da Wang(王 达); Yu Hu(胡 瑜); Hua-Wei Li(李华伟); Xiao-Wei Li(李晓维)
Adobe PDF(9188Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/02 |
| 无权访问的条目 期刊论文 作者: 范小鑫; 李华伟; 胡瑜; 李晓维
Adobe PDF(261Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/22 |
| 无权访问的条目 期刊论文 作者: 徐勇军; 张伸; 张志敏; 李晓维
Adobe PDF(378Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/23 |
| 无权访问的条目 期刊论文 作者: 岳华伟; 徐勇军; 张志敏; 易波
Adobe PDF(553Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/23 |