-
公开(公告)号:CN119862828A
公开(公告)日:2025-04-22
申请号:CN202510352815.4
申请日:2025-03-24
Applicant: 北京开源芯片研究院
IPC: G06F30/33 , G06F30/337
Abstract: 本申请提供了一种指令生成方法、装置、电子设备及计算机可读存储介质,包括:获取第一指令格式,所述第一指令格式包括固定位段的编码位置,所述编码位置处设置有对应的预设编码信息;按照所述编码位置对应的编码长度,随机生成多个预设拼接指令;所述预设拼接指令的编码长度与所述编码长度一致;从多个预设指令中,选择指令格式与第二指令格式均不符的所述预设指令作为生成的目标指令;所述预设指令为对所述预设拼接指令进行编码填充后的指令,所述第二指令格式为当前指令集架构中所包含的多个指令格式中除所述第一指令格式之外的任一指令格式。本申请可以提高指令生成效率,以及提高验证的准确性。
-
公开(公告)号:CN119806651A
公开(公告)日:2025-04-11
申请号:CN202510293369.4
申请日:2025-03-12
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种指令流生成方法、装置、电子设备及存储介质,涉及计算机技术领域,该方法中,从第一指令流中确定寄存器跳转指令;基于寄存器跳转指令对应的源寄存器数量,确定寄存器跳转指令对应的前置操作码集合;基于寄存器跳转指令的源寄存器编码和前置操作码集合,生成第二指令流;其中,第二指令流用于向寄存器跳转指令提供跳转地址;将第二指令流插入第一指令流,得到目标指令流。通过目标指令流中的第二指令流为相应寄存器跳转指令提供跳转地址,这样可以提高目标指令流中寄存器跳转指令的跳转可控性,从而提升通过目标指令流对CPU进行测试时的测试稳定性。
-
公开(公告)号: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: 本申请提供了一种指令依赖关系的校验方法、装置、电子设备及计算机可读存储介质,包括:获取第一指令的每个第一逻辑寄存器分别与第二指令的每个第二逻辑寄存器之间的关联组合;获取每个关联组合中与第一逻辑寄存器的类型对应的第一编码结果,以及与第二逻辑寄存器的类型对应的第二编码结果;根据第一编码结果、第二编码结果和预设运算方式,计算与关联组合对应的计算结果;在计算结果处于预设数值范围的情况下,调整第一逻辑寄存器与第二逻辑寄存器的依赖概率。本申请实现了一种自动化的运算策略,来准确找到存在不同逻辑寄存器类型的关联组合并进行调整,从而自动、高效且精准的实现了依赖关系的校验,降低了对人力资源的依赖。
-
公开(公告)号:CN119861971A
公开(公告)日:2025-04-22
申请号:CN202510352829.6
申请日:2025-03-24
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种无效指令生成方法、装置、电子设备及存储介质,涉及计算机技术领域,该方法中,从预设指令集架构对应的指令编码格式集合中选取第一指令编码格式;生成编码长度与第一指令编码格式的固定位段总长度相等的第一随机编码;在第一随机编码,与第一指令编码格式对应的各预设固定编码均不一致的情况下,基于第一随机编码生成预设指令集架构对应的无效指令。可以通过随机生成的方式,直接产生与预设指令架构对应的指令编码格式不符合的无效指令,有助于提升产生预设指令集架构的无效指令的效率。
-
公开(公告)号:CN119718428A
公开(公告)日:2025-03-28
申请号:CN202510233056.X
申请日:2025-02-28
Applicant: 北京开源芯片研究院
IPC: G06F9/318
Abstract: 本发明实施例提供了一种指令生成方法、装置、电子设备及可读存储介质,通过获取指令生成需求;指令生成需求包括指令特征需求以及指令数量;基于预设指令集中多个待匹配指令对应的特征标签,在预设指令集中确定与指令特征需求匹配的待匹配指令,得到目标指令集合;基于目标指令集合,随机生成与指令数量相匹配的目标指令。这样,无需手动逐个调整指令生成器的参数,从而在确保目标指令的随机性的前提下,通过特征需求与特征标签匹配的方式避免了人为错误,提高了指令准确性,并且降低了指令生成的复杂度,一定程度上提高了指令生成的效率。
-
公开(公告)号:CN119718425A
公开(公告)日:2025-03-28
申请号:CN202510237746.2
申请日:2025-02-28
Applicant: 北京开源芯片研究院
Abstract: 本申请提供了一种跳转指令跳转地址的选择方法、装置、电子设备及计算机可读存储介质,包括:生成指令流,并确定指令流中的跳转指令的指令信息,以及确定指令流中相邻指令的地址之间的第一差值,根据第一差值、跳转指令的指令信息,以及指令流中指令的数量,确定跳转指令的候选跳转地址和针对所有跳转指令的跳转地址的约束条件,在跳转指令的候选跳转地址不符合约束条件时,根据第一差值、跳转指令的指令信息以及指令流中指令的数量,确定跳转地址范围,从跳转地址范围中,确定跳转指令的目标跳转地址,并在执行跳转指令时,按照目标跳转地址进行指令跳转。可以提高跳转指令跳转到合理范围的概率,使验证尽可能的覆盖处理器的所有模块。
-
公开(公告)号:CN118626153B
公开(公告)日:2024-11-15
申请号:CN202411116740.1
申请日:2024-08-14
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供了一种指令处理方法、装置、电子设备及可读存储介质。该方法包括:在验证指令流中存在跳转指令的情况下,获取所述验证指令流中的跳转地址不满足预设要求的跳转指令,作为待处理指令;对所述待处理指令所包含的跳转地址操作数进行调整,使得调整后的待处理指令的跳转地址满足所述预设要求,得到目标验证指令流。这样,通过从验证指令流中获取跳转地址不满足预设要求的跳转指令,可以得到可能触发跳转异常的待处理指令,进而通过对待处理指令的操作数进行跳转,使得跳转后的待处理指令的跳转地址满足预设要求,可以解决跳转指令跳转异常的问题,通过目标验证指令流可以大大提高验证测试效果。
-
公开(公告)号:CN118626151B
公开(公告)日:2024-11-15
申请号:CN202411112120.0
申请日:2024-08-14
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种指令流文件生成方法、装置、电子设备及可读介质,涉及计算机技术领域,该方法中,获取初始指令流文件的指令文件;初始指令流文件是基于指令生成器生成的。基于预设译码工具及指令文件中的指令码,为指令文件生成对应的指令信息,作为参考信息。将指令文件中包括的指令信息作为原始信息,并将原始信息与参考信息进行比对,得到比对结果;比对结果用于表征原始信息与参考信息是否一致。基于比对结果为指令文件生成检测信息;检测信息用于表示所述指令文件是否正确。输出包括检测信息以及指令文件的目标指令流文件。可以在获得目标指令流文件的同时,降低获知指令文件的正确性的成本。
-
-
-
-
-
-
-
-
-