-
公开(公告)号:CN118626147B
公开(公告)日:2024-11-01
申请号:CN202411116860.1
申请日:2024-08-14
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种指令译码方法、装置、电子设备及可读介质,涉及计算机技术领域,该方法中,基于预设的各指令的模式匹配码,识别与待译码指令相匹配的模式匹配码,作为目标匹配码;指令的模式匹配码用于表征指令的操作码以及其他固定内容。基于目标匹配码预先关联的指令相关信息,确定待译码指令的指令名、指令类型以及操作数的操作数类型;各指令的模式匹配码预先关联有各指令的指令相关信息。基于待译码指令的指令类型的类型格式中定义的操作数位域,确定操作数的操作数指示符及操作数内容。基于指令名、指令类型、操作数的操作数类型、操作数指示符及操作数内容,输出指令译码结果。实现了译码操作,提供了更为便捷直观的指令信息。
-
公开(公告)号:CN118626323B
公开(公告)日:2024-10-11
申请号:CN202411112114.5
申请日:2024-08-14
Applicant: 北京开源芯片研究院
IPC: G06F11/22
Abstract: 本申请提供了一种处理器的测试方法、装置、电子设备及计算机可读存储介质,包括:获取配置文件,并确定配置文件中记录的目标指令属性,目标指令属性用于表征需要遍历生成目标指令属性下的所有指令;获取与目标指令属性对应的指令集,以及指令集包括的指令数量,指令集包括目标指令属性关联的所有指令;根据指令集,执行指令数量次循环操作,生成包括目标指令属性下的所有指令的指令序列;通过预设的处理器执行指令序列,获取处理器的测试结果。本申请在执行了指令数量次循环操作后,可以确保生成包括目标指令属性下的所有指令的指令序列,实现了完备性测试对全部指令的覆盖的目的。
-
-
公开(公告)号:CN118193056B
公开(公告)日:2024-07-26
申请号:CN202410599721.2
申请日:2024-05-15
Applicant: 北京开源芯片研究院
IPC: G06F9/30
Abstract: 本申请提供了一种指令依赖关系的校验方法、装置、电子设备及计算机可读存储介质,包括:获取第一指令的每个第一逻辑寄存器分别与第二指令的每个第二逻辑寄存器之间的关联组合;获取每个关联组合中与第一逻辑寄存器的类型对应的第一编码结果,以及与第二逻辑寄存器的类型对应的第二编码结果;根据第一编码结果、第二编码结果和预设运算方式,计算与关联组合对应的计算结果;在计算结果处于预设数值范围的情况下,调整第一逻辑寄存器与第二逻辑寄存器的依赖概率。本申请实现了一种自动化的运算策略,来准确找到存在不同逻辑寄存器类型的关联组合并进行调整,从而自动、高效且精准的实现了依赖关系的校验,降低了对人力资源的依赖。
-
公开(公告)号:CN118626153B
公开(公告)日:2024-11-15
申请号:CN202411116740.1
申请日:2024-08-14
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供了一种指令处理方法、装置、电子设备及可读存储介质。该方法包括:在验证指令流中存在跳转指令的情况下,获取所述验证指令流中的跳转地址不满足预设要求的跳转指令,作为待处理指令;对所述待处理指令所包含的跳转地址操作数进行调整,使得调整后的待处理指令的跳转地址满足所述预设要求,得到目标验证指令流。这样,通过从验证指令流中获取跳转地址不满足预设要求的跳转指令,可以得到可能触发跳转异常的待处理指令,进而通过对待处理指令的操作数进行跳转,使得跳转后的待处理指令的跳转地址满足预设要求,可以解决跳转指令跳转异常的问题,通过目标验证指令流可以大大提高验证测试效果。
-
公开(公告)号:CN118626151B
公开(公告)日:2024-11-15
申请号:CN202411112120.0
申请日:2024-08-14
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种指令流文件生成方法、装置、电子设备及可读介质,涉及计算机技术领域,该方法中,获取初始指令流文件的指令文件;初始指令流文件是基于指令生成器生成的。基于预设译码工具及指令文件中的指令码,为指令文件生成对应的指令信息,作为参考信息。将指令文件中包括的指令信息作为原始信息,并将原始信息与参考信息进行比对,得到比对结果;比对结果用于表征原始信息与参考信息是否一致。基于比对结果为指令文件生成检测信息;检测信息用于表示所述指令文件是否正确。输出包括检测信息以及指令文件的目标指令流文件。可以在获得目标指令流文件的同时,降低获知指令文件的正确性的成本。
-
公开(公告)号:CN118642907B
公开(公告)日:2024-10-15
申请号:CN202411116825.X
申请日:2024-08-14
Applicant: 北京开源芯片研究院
IPC: G06F11/263 , G06F11/22 , G06F9/30
Abstract: 本发明实施例提供一种异常指令生成方法、装置、电子设备及可读介质,涉及计算机技术领域。该方法中,在指令流生成环节中,基于预设的指令流配置文件中的目标配置项,确定当前的待生成指令存在的异常指令形式,作为目标异常形式,以及,获取为待生成指令设置的异常概率;目标配置项是为待生成指令设置的配置项,异常指令形式为不符合预设指令架构规定的指令约束条件的指令形式。在异常概率表征将待生成指令作为异常指令生成的情况下,基于目标异常形式以及目标配置项,生成符合目标异常形式的待生成指令。这样,可以降低人工成本,提高实现效率,进而提高验证操作的整体效率。
-
公开(公告)号:CN118642761B
公开(公告)日:2024-10-15
申请号:CN202411116818.X
申请日:2024-08-14
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种指令依赖构建方法、装置、设备及可读存储介质,该方法包括:获取已生成指令中的多个寄存器号;每个寄存器号对应有寄存器类型信息;不同的寄存器号对应不同的已生成指令;基于每个寄存器号对应的寄存器类型信息,将所述多个寄存器号分别存储到至少一个寄存器号栈;获取待生成指令的目标寄存器类型,确定与所述目标寄存器类型对应的目标寄存器号栈;基于所述目标寄存器号栈中的目标寄存器号,生成所述待生成指令,以使所述待生成指令和所述目标寄存器号对应的已生成指令之间构成指令依赖。本发明可以提高指令依赖构建的效率。
-
公开(公告)号:CN118642762A
公开(公告)日:2024-09-13
申请号:CN202411116884.7
申请日:2024-08-14
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供了一种指令处理方法、装置、电子设备及可读存储介质。该方法包括:按照指令生成顺序将所生成的验证指令依次存储至待处理队列中;响应于针对当前验证指令的依赖构建请求,基于依赖构建请求从待处理队列中获取待确定指令;基于待确定指令的操作寄存器,为当前验证指令生成操作寄存器,以使当前验证指令与待确定指令形成依赖。本发明实施例可以在生成验证指令的过程中,在指令流中构建依赖,极大地提高了验证人员构建针对乱序执行模块进行测试的指令流的便捷性。
-
公开(公告)号:CN118170436A
公开(公告)日:2024-06-11
申请号:CN202410605540.6
申请日:2024-05-15
Applicant: 北京开源芯片研究院
Abstract: 本申请提供了一种指令依赖关系的构建方法、装置、电子设备及计算机可读存储介质,包括:获取每个指令的指令格式,根据每个指令的指令格式,确定每个指令包括的逻辑寄存器;根据指令顺序和所有指令各自包括的逻辑寄存器,构建矩阵;矩阵中的元素用于表征逻辑寄存器,根据指令的逻辑寄存器之间的依赖关系,设定矩阵中元素之间的关联关系,从而完成对指令的依赖关系构建。本申请中矩阵的数据形式紧凑且体量较小,对矩阵中元素的改动也非常灵活,另外,矩阵通过元素的行、列排布,很准确且直观的表达了指令的流转顺序,通过矩阵中元素之间的关联关系来表达指令的逻辑寄存器之间的依赖关系,也是非常准确且直观的。
-
-
-
-
-
-
-
-
-