CN114330177B 芯片寄存器的系统级验证方法、系统、设备及存储介质 （山东云海国创云计算装备产业创新中心有限公司）

区济南片区浪潮路1036号浪潮科技园WO2013016979A1,2013.02.07本申请公开了一种芯片寄存器的系统级验号与验证平台的各个接口信号之间的一一对应根据预设的地址映射表确定出各个寄存器的实2建立待测芯片的CPU的各个总线信号与验证平台的各个接口信号之间的一一对应关生成测试用例，并为所述待测芯片的各个寄存器分别建立对应针对所述待测芯片的目标寄存器，基于对应于所述目标寄所述针对所述待测芯片的目标寄存器，基于对应于所述目标寄存器针对所述待测芯片的目标寄存器，基于对应于所述目标寄存器基于对应于所述目标寄存器的寄存器模型执行所述寄存器读写3在确定出所述目标寄存器的寄存器读写测试结果之后，判断的方式写入对应于该bit的数值的第一取反数，并将所述目标寄存器的寄存器模型中的期以前门读的方式读取写入了所述第一取反数的该bit位的数值，并判断以前门读的方式读取的该bit位的数值与通过get函数得到如果是，则以前门写的方式写入对应于所述第一取反以前门读的方式读取写入了所述第二取反数的该bit位的数值，并判断以前门读的方式读取的该bit位的数值与通过get函数得到总线信号替换单元，用于建立待测芯片的CPU的各个总线信号与验证平台的各个接口信号之间的一一对应关系，以使得在进行所述待测芯片的寄存器的系统级验证的过程中，通过所述验证平台发送的接口信号替换所述CPU的配置单元，用于生成测试用例，并为所述待测芯片的各个寄存器执行单元，用于针对所述待测芯片的目标寄存器，基于对应于所处理器，用于执行所述计算机程序以实现如权利要求1至7任一项所45目前常用的验证方法是采用UVM(UniversalVerificationMethodology，通用验证方法)[0008]建立待测芯片的CPU的各个总线信号与验证平台的各个接口信号之间的一一对应6且仅当所述实际默认值与通过对应于所述目标寄存器的寄存器模型得到的镜像值一致时，[0017]优选的，基于对应于所述目标寄存器的寄存器模型执行所述寄存器读写测试用7门写的方式写入对应于该bit的数值的第一取反数，并将所述目标寄存器的寄存器模型中[0028]以前门读的方式读取写入了所述第一取反数的该bit位的数值，并判断以前门读[0032]以前门读的方式读取写入了所述第二取反数的该bit位的数值，并判断以前门读[0038]总线信号替换单元，用于建立待测芯片的CPU的各个总线信号与验证平台的各个计算机程序被处理器执行时实现如上述任一项所述的芯片寄存器的系统级验证方法的步[0045]应用本发明实施例所提供的技术方案，会建立待测芯片的CPU的各个总线信号与8[0048]图2为本发明一种具体实施方式中通过地址映射表反映各个寄存器的实际地址的[0053]步骤S101：建立待测芯片的CPU的各个总线信号与验证平台的各个接口信号之间9后门操作。在UVM平台中，寄存器模型是高度抽象化的，可以使用一个中间变量uvm_reg_reg_bus_op与真正作用到具体待测芯片上的transact个寄存器的实际物理地址来保障系统级验证[0064]具体的，本申请的方案可以根据预设的地址映射表确定出各个寄存器的实际地[0065]可参阅图2，为一种具体实施方式中通过地址映射表反映各个寄存器的实际地址型对应的寄存器的基地址为32,h1000_0000，而该寄存器的偏移地址可以通过默认地址映[0068]目标寄存器可以是待测芯片中的任意1个寄存器，基于对应于目标寄存器的寄存[0070]针对待测芯片的目标寄存器，基于对应于目标寄存器的寄存器模型执行测试用式写入对应于该bit的数值的第一取反数，并将目标寄存器的寄存器模型中的期望值更新[0096]以前门读的方式读取写入了第一取反数的该bit位的数值，并判断以前门读的方式读取的该bit位的数值与通过get函数[0100]以前门读的方式读取写入了第二取反数的该bit位的数值，并判断以前门读的方式读取的该bit位的数值与通过get函数[0104]该种实施方式中，通过两次取反操作使得进行了目标寄[0105]具体的，只有目标寄存器为读写寄存器时才需要进行目标寄存器的比特位测[0108]应用本发明实施例所提供的技术方案，会建立待测芯片的CPU的各个总线信号与[0117]在本发明的一种具体实施方式中，执行单元303基于对应于所述目标寄存器的寄且仅当所述实际默认值与通过对应于所述目标寄存器的寄存器模型得到的镜像值一致时，[0120]在本发明的一种具体实施方式中，执行单元303基于对应于所述目标寄存器的寄[0128]在本发明的一种具体实施方式中，执行单元303基于对应于所述目标寄存器的寄门写的方式写入对应于该bit的数值的第一取反数，并将所述目标寄存器的寄存器模型中[0131]以前门读的方式读取写入了所述第一取反数的该bi