高技术通讯2010，Vol.20Issue(1)：68-74,7.DOI:10.3772/j.issn.1002-0470.2010.01.012
使用支持向量机的微处理器验证向量优化方法
An approach to microprocessor simulation vector optimization using SVM
摘要
关键词
支持向量机(SVM)/功能覆盖率模型/微处理器验证/仿真验证/验证向量优化Key words
support vector machine (SVM)/functional coverage model/microprocessor verification/simulation verification/simulation vector optimization引用本文复制引用
王朋宇,郭崎,沈海华,陈云霁,张珩..使用支持向量机的微处理器验证向量优化方法[J].高技术通讯,2010,20(1):68-74,7.基金项目
国家自然科学基金(60603049,60673146),863计划(2007AA01Z112,2008AA110901),973计划(2005CB321600)和北京市自然科学基金(4072024)资助项目. （60603049,60673146）
