已选(0)清除
条数/页: 排序方式: |
| 基于指令模板的通用处理器约束随机指令生成方法 期刊论文 计算机工程, 2015, 卷号: 41.0, 期号: 010, 页码: 309 作者: 刘婧; 王天成; 王健; 李华伟 收藏  |  浏览/下载:13/0  |  提交时间:2023/12/04 功能验证 通用处理器 指令模板 指令生成 约束随机指令 |
| PCIE协议栈模拟验证平台的设计和实现 期刊论文 计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287 作者: 张良; 王天成; 王健; 李华伟; 郭建 收藏  |  浏览/下载:12/0  |  提交时间:2023/12/04 功能验证 PCIE协议栈 协议栈验证 功能覆盖率 约束随机模拟 激励生成 |
| RISC指令集众核处理器功能验证与实现 期刊论文 计算机工程与应用, 2014, 卷号: 000, 期号: 021, 页码: 54 作者: 朱博元; 刘高辉; 李政运; 安述倩 收藏  |  浏览/下载:12/0  |  提交时间:2023/12/04 众核处理器 功能验证 覆盖率 时序验证 功耗评估 |
| 处理器验证激励在线筛选技术 期刊论文 计算机辅助设计与图形学学报, 2012, 卷号: 24.0, 期号: 005, 页码: 690 作者: 郭崎 收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04 功能验证 激励生成 在线学习 功能覆盖率 核函数 |
| 无权访问的条目 期刊论文 作者: 赵阳; 吕涛; 李华伟; 李晓维 Adobe PDF(556Kb)  |  收藏  |  浏览/下载:1/0  |  提交时间:2010/11/05 |
| 无权访问的条目 期刊论文 作者: 傅亮; 卢鼎; 张志敏; 孙愿 Adobe PDF(623Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/09 |
| 曙光5000芯片组系统级功能验证平台 期刊论文 计算机工程与科学, 2009, 卷号: 31.0, 期号: 011, 页码: 37 作者: 刘涛; 王凯; 李晓民; 安学军 收藏  |  浏览/下载:16/0  |  提交时间:2023/12/04 芯片组 功能验证 建模 模拟 覆盖率 |
| 基于约束的处理器接口随机测试模型 期刊论文 计算机工程, 2007, 卷号: 33.0, 期号: 015, 页码: 227 作者: 郇丹丹; 李祖松; 刘志勇 收藏  |  浏览/下载:12/0  |  提交时间:2023/12/04 接口 功能验证 仿真 约束随机测试 覆盖率 龙芯2号 |
| 无权访问的条目 期刊论文 作者: 张 珩; 沈海华 Adobe PDF(310Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 龙芯2号微处理器的功能验证 期刊论文 计算机研究与发展, 2006, 卷号: 43.0, 期号: 006, 页码: 974 作者: 张珩; 沈海华 收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04 功能验证 结构验证 处理器设计 模拟仿真 形式化验证 |