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