一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现
【出 处】:
【作 者】:
艾阳阳
罗莉
杨庆娜
张恒浩
夏婷婷
【摘 要】随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,Cache一致性协议十分复杂,验证难度大.针对Cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决Cache一致性协议状态空间爆炸的问题.首先分析了Cache一致性协议及基于贝叶斯网络推理的CDG方法,并将CDG方法应用于Cache一致性的验证.以FT处理器中的Cache一致性协议验证为例,对比伪随机测试,使用CDG方法将覆盖率提高近30%.
相关热词搜索: 芯片验证 Cache一致性 CDG 贝叶斯网络 随机测试
上一篇: 一种基于Spark框架的并行FP-Growth挖掘算法
下一篇: 基于Intel MIC平台大规模耗散粒子动力学模拟的设计与优化