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

作     者：艾阳阳 罗莉 杨庆娜 张恒浩 夏婷婷 AI Yang-yang;LUO Li;YANG Qing-na;ZHANG Heng-hao;XIA Ting-ting

作者机构：国防科技大学计算机学院湖南长沙410073 

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

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2017年第39卷第8期

页      码：1397-1402页

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

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

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1007-130X.2017.08.002

馆 藏 号：203260430...