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

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

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

艾阳阳，罗莉，杨庆娜，张恒浩，夏婷婷

A Bayesian network based test generation method

for Cache coherency protocol verification

AI Yang-yang,LUO Li,YANG Qing-na,ZHANG Heng-hao,XIA Ting-ting

计算机工程与科学 . 2017, (08): 1397 -1402 .