一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现

摘要：

随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,Cache一致性协议十分复杂,验证难度大.针对Cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决Cache一致性协议状态空间爆炸的问题.首先分析了Cache一致性协议及基于贝叶斯网络推理的CDG方法,并将CDG方法应用于Cache一致性的验证.以FT处理器中的Cache一致性协议验证为例,对比伪随机测试,使用CDG方法将覆盖率提高近30％.

关键词：芯片验证、Cache一致性、CDG、贝叶斯网络、随机测试

所属期刊栏目：39

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金61402497,61303069;国家科技重大专项核高基课题2015ZX01028001-002-001

在线出版日期：2017-09-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1397-1402