中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
基于指令模板的通用处理器约束随机指令生成方法 期刊论文
计算机工程, 2015, 卷号: 41.0, 期号: 010, 页码: 309
作者:  刘婧;  王天成;  王健;  李华伟
收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04
功能验证  通用处理器  指令模板  指令生成  约束随机指令  
PCIE协议栈模拟验证平台的设计和实现 期刊论文
计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287
作者:  张良;  王天成;  王健;  李华伟;  郭建
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
功能验证  PCIE协议栈  协议栈验证  功能覆盖率  约束随机模拟  激励生成  
基于EraSoC的模块级验证平台的设计 期刊论文
微电子学与计算机, 2008, 卷号: 25.0, 期号: 1.0, 页码: 181
作者:  龚艳丽;  张志敏;  傅亮
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
事务验证平台  功能覆盖率  断言  约束随机  
基于约束的处理器接口随机测试模型 期刊论文
计算机工程, 2007, 卷号: 33.0, 期号: 015, 页码: 227
作者:  郇丹丹;  李祖松;  刘志勇
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
接口  功能验证  仿真  约束随机测试  覆盖率  龙芯2号