|
已选(0)清除
条数/页： 排序方式： |
| Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者: Chao, Hui-Na; Li, Hua-Wei; Song, Xiaoyu; Wang, Tian-Cheng; Li, Xiao-Wei
  收藏 | 浏览/下载：30/0 | 提交时间：2021/12/01
hardware formal verification assertion generation data mining assertion evaluation assertion coverage |
| 无权访问的条目 学位论文
作者: 李春尧
Adobe PDF(4922Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2018/06/22 |
| 无权访问的条目 学位论文
作者: 于雷
Adobe PDF(3958Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2018/06/22 |
| 无权访问的条目 学位论文
作者: 程云
Adobe PDF(2067Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/12/26 |
| 无权访问的条目 学位论文
作者: 王成龙
Adobe PDF(2036Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/07/10 |
| 无权访问的条目 学位论文
作者: 郑晨
Adobe PDF(2631Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/06/26 |
| 无权访问的条目 学位论文
作者: 张华亮
Adobe PDF(1256Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/11/11 |
| 无权访问的条目 学位论文
作者: 谢开斌
Adobe PDF(3228Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/28 |
| 无权访问的条目 学位论文
作者: 周艳红
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 |
