Institute of Computing Technology, Chinese Academy IR
| 处理器验证激励在线筛选技术 | |
| 郭崎 | |
| 2012 | |
| 发表期刊 | 计算机辅助设计与图形学学报
 |
| ISSN | 1003-9775 |
| 卷号 | 24.0期号:005页码:690 |
| 摘要 | 如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间. |
| 关键词 | 功能验证 激励生成 在线学习 功能覆盖率 核函数 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/27708 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 郭崎. 处理器验证激励在线筛选技术[J]. 计算机辅助设计与图形学学报,2012,24.0(005):690. |
| APA | 郭崎.(2012).处理器验证激励在线筛选技术.计算机辅助设计与图形学学报,24.0(005),690. |
| MLA | 郭崎."处理器验证激励在线筛选技术".计算机辅助设计与图形学学报 24.0.005(2012):690. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [郭崎]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [郭崎]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [郭崎]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论