中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
无权访问的条目 学位论文
作者:  张华亮
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