中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
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  
基于软硬件协同设计的解释器指令分派方法 期刊论文
高技术通讯, 2016, 卷号: 26.0, 期号: 003, 页码: 226
作者:  傅杰;  靳国杰;  章隆兵;  王剑
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
解释器  指令分派  软硬件协同设计  虚拟机  优化