| 一种Cache一致性协议验证中覆盖率驱动的随机验证方法 |
| |
| 引用本文： | 李拓,王恩东,胡雷均,秦济龙. 一种Cache一致性协议验证中覆盖率驱动的随机验证方法[J]. 计算机应用与软件, 2011, 28(11) |
| |
| 作者姓名： | 李拓 王恩东 胡雷均 秦济龙 |
| |
| 作者单位： | 浪潮(北京)电子信息产业有限公司 北京100085 |
| |
| 基金项目： | 国家高技术研究发展计划(2008AA01 A202) |
| |
| 摘 要： | 随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术,覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一。针对Cache一致性协议的验证目标,介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随机验证的方法,并结合相关的实际验证过程对该方法进行了分析和讨论。
|
| 关 键 词： | 软件高速缓存(Cache) 随机验证 覆盖率驱动 机器学习 朴素贝叶斯模型 |
A COVERAGE-DRIVEN RANDOM VERIFICATION METHOD IN CACHE COHERENCE PROTOCOL VERIFICATION |
| |
| Li Tuo,Wang Endong,Hu Leijun,Qin Jilong. A COVERAGE-DRIVEN RANDOM VERIFICATION METHOD IN CACHE COHERENCE PROTOCOL VERIFICATION[J]. Computer Applications and Software, 2011, 28(11) |
| |
| Authors: | Li Tuo Wang Endong Hu Leijun Qin Jilong |
| |
| Affiliation: | Li Tuo Wang Endong Hu Leijun Qin Jilong (Inspur(Beijing)Electronic Information Industry Co.,Ltd.,Beijing 100085,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Cache Random verification Coverage-driven Machine learning Native Bayesian model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
