计算机工程与科学2009，Vol.31Issue(A01)：P.55-58,4.
一种带偏置的基于相关性分析的Cache一致性协议验证方法
夏竟 1徐炜遐 1张俊 1庞征斌1
作者信息
- 1. 国防科技大学计算机学院,湖南长沙410073
- 折叠
摘要
关键词
功能验证/测试激励自动生成/Cache一致性协议分类
信息技术与安全科学引用本文复制引用
夏竟,徐炜遐,张俊,庞征斌..一种带偏置的基于相关性分析的Cache一致性协议验证方法[J].计算机工程与科学,2009,31(A01):P.55-58,4.
