10.3969/j.issn.1000-386X.2011.11.043
一种Cache一致性协议验证中覆盖率驱动的随机验证方法
随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术,覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一.针对Cache一致性协议的验证目标,介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随机验证的方法,并结合相关的实际验证过程对该方法进行了分析和讨论.
软件高速缓存(Cache)、随机验证、覆盖率驱动、机器学习、朴素贝叶斯模型
28
TP302(计算技术、计算机技术)
2011中国计算机大会论文.国家高技术研究发展计划2008AA01 A202
2012-03-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
167-170