摘要：随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术，覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一。针对Cache一致性协议的验证目标，介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随机验证的方法，并结合相关的实际验证过程对该方法进行了分析和讨论。

原文链接:http://www.cqvip.com//QK/90976X/201111/39929319.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）