Rubyphi:面向gem5的Cache一致性协议自动化模型检验
徐学政, 方健, 梁少杰, 王璐, 黄安文, 隋京高, 李琼
Rubyphi:Automated model checking for Cache coherence protocols in gem5
XU Xuezheng, FANG Jian, LIANG Shaojie, WANG Lu, HUANG Anwen, SUI Jinggao, LI Qiong
计算机工程与科学
.
2025, (7): 1141
-1151
.
