计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2012年
5期
690-698
,共9页
功能验证%激励生成%在线学习%功能覆盖率%核函数
功能驗證%激勵生成%在線學習%功能覆蓋率%覈函數
공능험증%격려생성%재선학습%공능복개솔%핵함수
如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低,为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进人仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83％的验证激励及79％的验证时间.
如何生成高質量的驗證激勵是功能驗證中的覈心問題之一.隨著功能驗證的不斷進行,驗證激勵的有效性也隨之降低,為瞭提高驗證激勵的質量,提齣一種在線篩選技術來處理驗證激勵.該技術採用單分類支持嚮量機來在線地構建分類器,以對新生成的驗證激勵是否冗餘進行預測,如果是冗餘的,則不進人倣真階段進行倣真.在此基礎上,進一步提齣指令序列覈函數來衡量不同指令序列的相似程度.實驗結果錶明,與約束隨機生成技術相比,文中技術可以減少約83％的驗證激勵及79％的驗證時間.
여하생성고질량적험증격려시공능험증중적핵심문제지일.수착공능험증적불단진행,험증격려적유효성야수지강저,위료제고험증격려적질량,제출일충재선사선기술래처리험증격려.해기술채용단분류지지향량궤래재선지구건분류기,이대신생성적험증격려시부용여진행예측,여과시용여적,칙불진인방진계단진행방진.재차기출상,진일보제출지령서렬핵함수래형량불동지령서렬적상사정도.실험결과표명,여약속수궤생성기술상비,문중기술가이감소약83％적험증격려급79％적험증시간.
