多核处理器访存一致性的验证系统及方法专利查询专利号|摘要-满商公司网

多核处理器访存一致性的验证系统及方法

基本信息

申请号	CN202210131860.3	申请日	-
公开（公告）号	CN114168200B	公开（公告）日	2022-04-22
申请公布号	CN114168200B	申请公布日	2022-04-22
分类号	G06F9/30（2006.01）I;G06F30/20（2020.01）I	分类	计算；推算；计数;
发明人	李祖松;郇丹丹	申请（专利权）人	北京微核芯科技有限公司
代理机构	北京清亦华知识产权代理事务所（普通合伙）	代理人	杜月
地址	100190北京市海淀区中关村东路66号1号楼10层1105-2
法律状态	-

摘要

本申请提出一种多核处理器访存一致性的验证系统及方法，其中，该系统包括：仿真器、模拟器、检查器和全局共享内存，其中，仿真器，用于将存数指令存入与处理器核对应的第一缓冲区，并将存数指令从与处理器核对应的第一缓冲区中写入高速缓冲存储器，以及将仿真器中的指令执行结果发送给检查器；模拟器，用于将存数指令存入与处理器核对应的第二缓冲区，并将存数指令从与处理器核对应的第二缓冲区中写入全局共享内存，以及将模拟器中的指令执行结果发送给检查器；检查器，用于对仿真器中的指令执行结果和模拟器中的指令执行结果进行一致性验证。本申请实现了多个处理器核对访存指令的定序，及仿真器和模拟器结果的可对比，从而验证仿真结果正确性。