10.3969/j.issn.1000-3428.2012.11.074
MOTEC:一个存储一致性模型验证工具
由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难.为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具.该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成.对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p3n),在目前流片后阶段进行验证的工具中时间复杂度最低.
多核处理器、存储一致性模型、形式验证、动态验证、存储系统、验证工具
38
TP311.5(计算技术、计算机技术)
国家"863"计划基金资助项目2007AA01Z147
2012-09-29(万方平台首次上网日期,不代表论文的发表时间)
共5页
242-246