一种验证方法、验证装置、电子设备和计算机可读存储介质。该验证方法包括：获取微指令以作为验证激励；由作为被验证对象的执行单元对所述微指令进行处理得到执行结果；由参考模型单元得到对应于所述微指令的参考结果；以及将所述执行结果与所述参考结果进行比较，以对所述执行单元进行验证。该验证方法能够验证对指令译码得到的微指令的执行情况，提高了验证效率。效率。效率。
【技术实现步骤摘要】
验证方法、装置、电子设备和计算机可读存储介质
[0001]本公开的实施例涉及一种验证方法、装置、电子设备和计算机可读存储介质。
技术介绍
[0002]随着处理器制造工艺的提高，高性能处理器的设计规模日益增大，设计复杂度也随之增加。大规模的设计对处理器的功能验证提出了挑战。目前处理器验证主要有形式验证、模拟验证，硬件仿真加速等方法。
[0003]形式验证是通过数学方法遍历处理器的所有可能行为来验证处理器设计是否存在功能缺陷。模拟验证是通过检查处理器设计在测试激励下的功能正确与否来验证处理器设计的正确性。硬件仿真加速是通过频率指标低于处理器设计指标的硬件来验证功能正确性。
技术实现思路
[0004]本公开至少一个实施例提供一种验证方法，包括：获取微指令以作为验证激励；由作为被验证对象的执行单元对微指令进行处理得到执行结果；由参考模型单元得到对应于微指令的参考结果；以及将执行结果与参考结果进行比较，以对执行单元进行验证。
[0005]例如，在本公开一实施例提供的验证方法中，由作为被验证对象的执行单元对微指令进行处理得到执行结果，包括：由执行单元根据微指令生成处理请求，并且向数据处理单元发送处理请求；从数据处理单元得到处理请求的处理结果；以及基于处理结果得到执行结果。
[0006]例如，在本公开一实施例提供的验证方法中，由参考模型单元得到对应于微指令的参考结果，包括：由参考模型单元从数据处理单元获取处理结果；以及基于处理结果得到参考结果。
[0007]例如，在本公开一实施例提供的验证方法中，数据处理单元包括：访存单元和/或定浮点转换单元，对应地处理请求包括读写请求和/或定浮点转换请求，读写请求用于访问访存单元，定浮点转换请求用于访问定浮点转换单元。
[0008]例如，在本公开一实施例提供的验证方法中，由参考模型单元得到对应于微指令的参考结果，包括：由参考模型单元对微指令进行执行异常检查；以及根据执行异常检查的检查结果得到参考结果。
[0009]例如，在本公开一实施例提供的验证方法中，在执行单元访问数据处理单元以得到执行结果的情形中，由参考模型单元对微指令进行执行异常检查，包括：响应于微指令依赖于从数据处理单元获取的处理结果，由参考模型单元根据处理结果对微指令进行执行异常检查。
[0010]例如，在本公开一实施例提供的验证方法中，根据执行异常检查的检查结果得到参考结果，包括：响应于执行异常检查的检测结果为微指令无异常，执行微指令得到参考结果。
[0011]例如，在本公开一实施例提供的验证方法中，响应于执行异常检查的检测结果为微指令无异常，执行微指令得到参考结果，包括：确定微指令对应的操作数类型；以及根据操作数类型，对操作数进行定点类型运算或者浮点类型运算得到参考结果。
[0012]例如，在本公开一实施例提供的验证方法中，将执行结果与参考结果进行比较，以对执行单元进行验证，包括：确定微指令的指令类型；根据指令类型，确定执行结果与参考结果之间的比较信息；以及比较执行结果中的比较信息与参考结果中的比较信息是否一致。
[0013]例如，在本公开一实施例提供的验证方法中，根据指令类型，确定执行结果与参考结果之间的比较信息包括以下至少一种：响应于指令类型为读写类型，比较信息包括读写地址信息和读写地址对应的数据信息；响应于指令类型为定浮点转换类型，比较信息包括定浮点转换数据；响应于指令类型为更新目标寄存器，比较信息包括目标寄存器中的数据信息；或者响应于指令类型为更新标志位，比较信息包括标志位的数据信息。
[0014]例如，在本公开一实施例提供的验证方法中，根据执行异常检查的检查结果得到参考结果，包括：响应于检查结果为微指令异常，生成参考异常信息，参考异常信息作为参考结果。
[0015]例如，在本公开一实施例提供的验证方法中，将执行结果与参考结果进行比较，以对执行单元进行验证，包括：响应于执行结果中存在异常记录，将异常记录与参考异常信息进行比较，以对执行单元进行验证。
[0016]例如，在本公开一实施例提供的验证方法中，由参考模型单元得到对应于微指令的参考结果，包括：响应于执行单元执行微指令退休，由参考模型单元得到对应于微指令的参考结果。
[0017]例如，在本公开一实施例提供的验证方法中，获取微指令以作为验证激励，包括：对指令译码得到微指令以作为验证激励。
[0018]本公开至少一个实施例提供一种验证装置，包括：参考模型单元和记分板，参考模型单元配置为获取微指令以作为验证激励，并且得到对应于微指令的参考结果；记分板配置为获取参考结果和执行结果，并且比较参考结果和执行结果，执行结果为由作为被验证对象的执行单元对微指令进行处理得到。
[0019]例如，在本公开一实施例提供的验证装置中，还包括指令译码单元，配置为对所述指令译码得到所述微指令，并且向所述参考模型单元和所述执行单元发送所述微指令以作为所述验证激励。
[0020]例如，在本公开一实施例提供的验证装置中，还包括：至少一个数据处理单元，每个数据处理单元配置为接受来自执行单元的处理请求，以及生成处理请求的处理结果，并且向执行单元提供处理结果；执行单元根据微指令生成处理请求，并且向至少一个数据处理单元中响应处理请求的数据处理单元发送处理请求，执行单元根据处理结果得到执行结果。
[0021]本公开至少一个实施例提供一种电子设备，包括：处理器；存储器，包括一个或多个计算机程序指令；其中，所述一个或多个计算机程序指令被存储在所述存储器中，并由所述处理器执行时实现本公开至少一实施例提供的验证方法的指令。
[0022]本公开至少一个实施例提供一种计算机可读存储介质，非暂时性存储有计算机可
读指令，当计算机可读指令由处理器执行时实现本公开至少一实施例提供的验证方法。
附图说明
[0023]为了更清楚地说明本公开实施例的技术方案，下面将对实施例的附图作简单地介绍，显而易见地，下面描述中的附图仅仅涉及本公开的一些实施例，而非对本公开的限制。
[0024]图1A示出了本公开至少一个实施例提供的验证方法的流程图；
[0025]图1B示出了本公开至少一个实施例提供的验证装置的示意图；
[0026]图2示出了本公开至少一个实施例提供的图1A中步骤S20的方法流程图；
[0027]图3示出了本公开至少一个实施例提供的图1A中步骤S30的方法流程图；
[0028]图4示出了本公开至少一个实施例提供的图1A中步骤S30的另一方法流程图；
[0029]图5示出了本公开至少一个实施例提供的另一验证方法的流程图；
[0030]图6示出了本公开至少一个实施例提供的参考模型单元的方框图；
[0031]图7为本公开一些实施例提供的一种电子设备的示意框图；
[0032]图8为本公开一些实施例提供的另一种电子设备的示意框图；以及
[0033]图9为本公开一些实施例提供的一种存储介质的示意图。
具本文档来自技高网...
【技术保护点】
【技术特征摘要】
1.一种验证方法，包括：获取微指令以作为验证激励；由作为被验证对象的执行单元对所述微指令进行处理得到执行结果；由参考模型单元得到对应于所述微指令的参考结果；以及将所述执行结果与所述参考结果进行比较，以对所述执行单元进行验证。2.根据权利要求1所述的方法，其中，由作为所述被验证对象的所述执行单元对所述微指令进行处理得到所述执行结果，包括：由所述执行单元根据所述微指令生成处理请求，并且向数据处理单元发送所述处理请求；从所述数据处理单元得到所述处理请求的处理结果；以及基于所述处理结果得到所述执行结果。3.根据权利要求2所述的方法，其中，由所述参考模型单元得到对应于所述微指令的所述参考结果，包括：由所述参考模型单元从所述数据处理单元获取所述处理结果；以及基于所述处理结果得到所述参考结果。4.根据权利要求2或3所述的方法，其中，所述数据处理单元包括：访存单元和/或定浮点转换单元，对应地所述处理请求包括读写请求和/或定浮点转换请求，其中，所述读写请求用于访问所述访存单元，所述定浮点转换请求用于访问所述定浮点转换单元。5.根据权利要求1所述的方法，其中，由所述参考模型单元得到对应于所述微指令的所述参考结果，包括：由所述参考模型单元对所述微指令进行执行异常检查；以及根据所述执行异常检查的检查结果得到所述参考结果。6.根据权利要求5所述的方法，其中，在所述执行单元访问数据处理单元以得到所述执行结果的情形中，由所述参考模型单元对所述微指令进行执行异常检查，包括：响应于所述微指令依赖于从所述数据处理单元获取的处理结果，由所述参考模型单元根据所述处理结果对所述微指令进行所述执行异常检查。7.根据权利要求5所述的方法，其中，根据所述执行异常检查的检查结果得到所述参考结果，包括：响应于所述执行异常检查的检测结果为所述微指令无异常，执行所述微指令得到所述参考结果。8.根据权利要求7所述的方法，其中，响应于所述执行异常检查的检测结果为所述微指令无异常，执行所述微指令得到所述参考结果，包括：确定所述微指令对应的操作数类型；以及根据所述操作数类型，对所述操作数进行定点类型运算或者浮点类型运算得到所述参考结果。9.根据权利要求7所述的方法，其中，将所述执行结果与所述参考结果进行比较，以对所述执行单元进行验证，包括：
确定所述微指令的指令类型；根据所述指令类型，确定所述执行结果与所述参考结果之间的比较信息；以及比较所述执行结果中的比较信息与所述参考结果中的比较信息是否一致。10.根据权利要求9所述的方法，其中，根据所述指令类型，确定所述执行结果与所述参考结果之间的比较信息包括以下至少一种：响应于所述指令类型为读写类...
【专利技术属性】
技术研发人员：叶歆，
申请(专利权)人：海光信息技术股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。