一种Cache一致性协议验证中覆盖率驱动的随机验证方法  

A COVERAGE-DRIVEN RANDOM VERIFICATION METHOD IN CACHE COHERENCE PROTOCOL VERIFICATION

作　　者：李拓[1] 王恩东[1] 胡雷均[1] 秦济龙[1] 

机构地区：[1]浪潮(北京)电子信息产业有限公司,北京100085

出　　处：《计算机应用与软件》2011年第11期167-170,共4页Computer Applications and Software

基　　金：国家高技术研究发展计划(2008AA01 A202)

摘　　要：随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术,覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一。针对Cache一致性协议的验证目标,介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随机验证的方法,并结合相关的实际验证过程对该方法进行了分析和讨论。Random verification technology is an important supporting technology in modern VLSI simulation verification processes. Coverage-driven random testing generation method is one of the hot topics in the research area. Targeting at Cache coherence protocol verification, the paper explains a method to perfect coverage-driven based random verification by introducing native Bayesian model based machine learning. Then through relative practical verification process the method is analyzed and discussed.

关 键 词：软件高速缓存(Cache) 随机验证 覆盖率驱动 机器学习 朴素贝叶斯模型 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]