专利详情

专利名称	一种支持精确访存检测的多核处理器随机验证方法及装置
申请号	CN201610299336.1	专利类型	发明专利
公开（公告）号	CN105930242A	公开（授权）日	2016.09.07
申请（专利权）人	中国科学院计算技术研究所	发明（设计）人	沈海华;赵跃辉;谭华哲
主分类号	G06F11/26(2006.01)I	IPC主分类号	G06F11/26(2006.01)I;G06F11/263(2006.01)I
专利有效期	一种支持精确访存检测的多核处理器随机验证方法及装置至一种支持精确访存检测的多核处理器随机验证方法及装置	法律状态	实质审查的生效
说明书摘要	本发明提出一种支持精确访存检测的多核处理器随机验证方法及其装置，该方法包括步骤1，将待验证的多核处理器中的用户约束与指令库相结合，生成存在访存冲突的并行程序作为验证向量；运行验证向量，记录验证向量的执行结果及访存操作的时间信息；步骤2，根据所述执行结果及所述访存操作的时间信息，进行存储一致性设计正确性检查，如果所述待验证的多核处理器的存储一致性设计符合存储一致性模型，则执行步骤3；步骤3，将所述验证向量及所述访存操作的时间信息送入指令级模拟器，所述指令级模拟器按照访存操作的时间顺序执行所述验证向量，并将结果与多核处理器模拟仿真后的执行结果进行比较，如果比较结果一致，继续执行多核处理器随机验证。