|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 学位论文
作者: Nurgozhin Daniyar
 Adobe PDF(1580Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2018/06/15 |
| 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
收藏 | 浏览/下载：65/0 | 提交时间：2019/12/13
Abstraction-guided simulation functional test generation hard-to-reach states path constraint solving |
| 无权访问的条目 学位论文
作者: 周艳红
Adobe PDF(986Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/27 |
| Abstraction-Guided Simulation Using Markov Analysis for Functional Verification 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 2, 页码: 285-297
作者: Wang, Jian; Li, Huawei; Lv, Tao; Wang, Tiancheng; Li, Xiaowei; Kundu, Sandip
收藏 | 浏览/下载：40/0 | 提交时间：2019/12/13
Abstraction-guided simulation Markov analysis semi-formal verification |
| 无权访问的条目 学位论文
作者: 王健
Adobe PDF(2052Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2015/07/03 |
| 无权访问的条目 学位论文
作者: 鲁大营
Adobe PDF(5595Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2015/06/25 |
| 无权访问的条目 学位论文
作者: 张招亮
Adobe PDF(2975Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/10 |
| 无权访问的条目 学位论文
作者: 赵泽
Adobe PDF(5887Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/11 |
| 无权访问的条目 学位论文
作者: 张晓琳
Adobe PDF(2302Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/09 |
| 无权访问的条目 期刊论文
作者: 高文
Adobe PDF(253Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/03/29 |
