首页> 中文会议>全国第15届计算机辅助设计与图形学学术会议 >基于伪临界值的Cache一致性协议验证方法

基于伪临界值的Cache一致性协议验证方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对参数化Cache一致性协议状态空间爆炸问题,本文提出共享集合伪临界值(pseudo-cutoff)的概念,有效优化了参数化目录Cache协议状态空间,并提出了解决小概率的大共享度事件的方法。实验数据表明,基于伪临界值的协议模型优化方法,能够有效缩小参数化Cache协议的状态空间,加快验证速度,提高验证大规模Cache协议的能力.

著录项

来源
《全国第15届计算机辅助设计与图形学学术会议》|2008年|702-706|共5页
会议地点大连
作者

展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类总体设计、系统设计;
关键词
模型检验; Cache一致性协议; 参数化验证; 多处理器系统;

相似文献

中文文献
外文文献
专利

1. 基于伪临界值的Cache一致性协议验证方法 [J] . 屈婉霞 ,郭阳 ,庞征斌 . 国防科技大学学报 . 2008,第006期
2. 一种带偏置的基于相关性分析的Cache一致性协议验证方法 [J] . 夏竟 ,徐炜遐 ,张俊 . 计算机工程与科学 . 2009,第0z1期
3. 一种Cache一致性协议验证中覆盖率驱动的随机验证方法 [J] . 李拓 ,王恩东 ,胡雷均 . 计算机应用与软件 . 2011,第011期
4. 基于外部共享Cache的多处理机Cache一致性协议 [J] . 刘广忠 ,肖钰 ,袁淑芳 . 河北工程技术高等专科学校学报 . 2006,第002期
5. 一种基于自更新的简单高效Cache一致性协议 [J] . 何锡明 ,马胜 ,黄立波 . 计算机研究与发展 . 2019,第004期
6. 一种带偏置的基于相关性分析的Cache一致性协议验证方法 [C] . 夏竟 ,徐炜遐 ,张俊 . 2009年全国高性能计算学术年会 . 2009
7. 基于TTCN-3的VRRPE一致性验证方法及协议研究实现 [A] . 庞琳 . 2015

基于伪临界值的Cache一致性协议验证方法

摘要

著录项

相似文献

相关主题

期刊订阅