处理器验证激励在线筛选技术
文献类型：期刊论文
| 作者 | 郭崎 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2012 |
| 卷号 | 24.0期号:005页码:690 |
| 关键词 | 功能验证 激励生成 在线学习 功能覆盖率 核函数 |
| ISSN号 | 1003-9775 |
| 英文摘要 | 如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/27707]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 郭崎. 处理器验证激励在线筛选技术[J]. 计算机辅助设计与图形学学报,2012,24.0(005):690. |
| APA | 郭崎.(2012).处理器验证激励在线筛选技术.计算机辅助设计与图形学学报,24.0(005),690. |
| MLA | 郭崎."处理器验证激励在线筛选技术".计算机辅助设计与图形学学报 24.0.005(2012):690. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。