一种基于可配置随机测试生成的多核验证方法

• 作者: 叶甜春 梁利平 罗汉青
• 来源期刊: 微电子学与计算机
• 关键词: 多核设计 cache一致性 指令流配置 同步设置 自检测
• 年，卷（期）: 2014,（1）
• 页码范围: 88-91,98
• 页数: 5页
• 分类号: TP302
• 语种: 中文

摘要

多核设计规模和复杂度的不断提高，使功能验证变得越来越具挑战性。通过分析基于模拟仿真的多核验证方法，提出了一种基于可配置随机测试生成的多核cache一致性验证方法。该方法以随机测试生成为基础，通过配置随机生成参数来产生特定结构的多核验证指令流。此指令流的特点是，通过内存地址访问约束和多核同步操作的设置，来达成多核系统执行顺序的准确预测，进而通过自检测指令组的配置来完成自动快速结果比较。实验结果表明，该方法对多核一致性的验证是高效的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶甜春	中国科学院微电子研究所	200	911	14.0	18.0
2	梁利平	中国科学院微电子研究所	47	126	7.0	9.0
3	罗汉青	中国科学院微电子研究所	5	18	2.0	4.0