System.ArgumentOutOfRangeException: 索引和长度必须引用该字符串内的位置。 参数名: length 在 System.String.Substring(Int32 startIndex, Int32 length) 在 zhuanliShow.Bind() 一种参考模型的集成方法、装置、电子设备及存储介质制造方法及图纸_技高网

一种参考模型的集成方法、装置、电子设备及存储介质制造方法及图纸

技术编号:42102007 阅读:3 留言:0更新日期:2024-07-25 00:27
本发明专利技术实施例提供一种参考模型的集成方法、装置、电子设备及存储介质,该方法包括:获取验证对象的参考模型和所述参考模型的数据传输参数;将所述参考模型加载到所述软件模拟器中;按照所述验证对象的指令集架构和所述数据传输参数,配置通信控制指令;所述通信控制指令包括加载指令和存储指令;执行所述加载指令,以将所述软件模拟器的虚拟内存中的测试激励数据加载到所述参考模型的缓冲区中;在所述参考模型生成运算结果之后,执行所述存储指令,以将所述运算结果存储至所述软件模拟器的虚拟内存中。本发明专利技术实施例实现了参考模型在软件模拟器中的自动集成,有利于提升对验证对象的验证效率。

【技术实现步骤摘要】

本专利技术涉及计算机,尤其涉及一种参考模型的集成方法、装置、电子设备及存储介质


技术介绍

1、差分验证作为常用的验证方法,通过对比验证对象(design underverification,duv)以及参考模型的行为来验证duv的功能是否正确,因此需要提供软件参考模型作为duv的黄金标准。为了对自定义扩展指令系统进行差分验证,需要将扩展指令的参考模型集成到cpu的参考模型isa模拟器中。传统验证流程中参考模型往往通过软件建模工程师手写建模,同时需要手动插入模型进行集成,严重影响了验证的效率。


技术实现思路

1、本专利技术实施例提供一种参考模型的集成方法、装置、电子设备及存储介质,可以解决相关技术中手动集成参考模型影响验证效率的问题。

2、为了解决上述问题,本专利技术实施例公开了一种参考模型的集成方法,应用于软件模拟器,所述方法包括:

3、获取验证对象的参考模型和所述参考模型的数据传输参数;

4、将所述参考模型加载到所述软件模拟器中;

5、按照所述验证对象的指令集架构和所述数据传输参数,配置通信控制指令;所述通信控制指令包括加载指令和存储指令;

6、执行所述加载指令,以将所述软件模拟器的虚拟内存中的测试激励数据加载到所述参考模型的缓冲区中,以供所述参考模型从所述缓冲区中读取所述测试激励数据;

7、在所述参考模型生成运算结果之后,执行所述存储指令,以将所述运算结果存储至所述软件模拟器的虚拟内存中。

8、可选地,所述数据传输参数包括所述参考模型对应的缓冲区地址、所述虚拟内存对应的数组地址、数组大小、数据类型;

9、所述按照所述验证对象的指令集架构和所述数据传输参数,配置通信控制指令,包括:

10、将所述数组地址编码到通信控制指令对应的第一源寄存器中;所述通信控制指令为根据所述验证对象的指令集架构定义的指令;

11、将所述缓冲区地址编码到所述通信控制指令对应的第二源寄存器中;

12、根据所述数组大小编码所述通信控制指令对应的第一操作码;

13、根据所述数据类型编码所述通信控制指令对应的第二操作码。

14、可选地,所述执行所述加载指令,以将所述软件模拟器的虚拟内存中的测试激励数据加载到所述参考模型的缓冲区中,包括:

15、读取并解析所述加载指令中第一缓冲区参数和第一虚拟内存参数;

16、响应于所述加载指令,根据所述第一虚拟内存参数调用第一读函数;所述第一读函数用于根据所述第一虚拟内存参数从所述虚拟内存中读取测试激励数据;

17、获取所述第一读函数返回的测试激励数据;

18、根据所述第一缓冲区参数调用第一写函数;所述第一写函数用于根据所述第一缓冲区参数将所述测试激励数据写入所述缓冲区。

19、可选地,所述在所述参考模型生成运算结果之后,执行所述存储指令,以将所述运算结果存储至所述软件模拟器的虚拟内存中,包括:

20、在所述参考模型生成运算结果后,读取并解析所述存储指令中的第二缓冲区参数和第二虚拟内存参数;

21、响应于所述存储指令,根据所述第二缓冲区参数调用第二读函数;所述第二读函数用于根据所述第二缓冲区参数从所述缓冲区中读取所述运算结果;

22、获取所述第二读函数返回的所述运算结果;

23、根据所述第二虚拟内存参数调用第二写函数;所述第二写函数用于根据所述第二虚拟内存参数将所述运算结果写入所述虚拟内存。

24、可选地,所述通信控制指令还包括控制指令;所述方法还包括:

25、在读取到所述控制指令的情况下,解析所述控制指令待实现的目标功能;

26、根据所述目标功能调用所述参考模型的目标功能函数,以使所述参考模型执行所述目标功能。

27、可选地,所述方法还包括:

28、从所述虚拟内存中读取所述运算结果,并将所述运算结果写入验证系统的软件缓冲区,以供所述验证系统根据所述软件缓冲区中记录的运算结果对所述验证对象进行验证。

29、另一方面,本专利技术实施例公开了一种参考模型的集成装置,应用于软件模拟器,所述装置包括:

30、获取模块,用于获取验证对象的参考模型和所述参考模型的数据传输参数;

31、加载模块,用于将所述参考模型加载到所述软件模拟器中;

32、配置模块,用于按照所述验证对象的指令集架构和所述数据传输参数,配置通信控制指令;所述通信控制指令包括加载指令和存储指令;

33、第一执行模块,用于执行所述加载指令,以将所述软件模拟器的虚拟内存中的测试激励数据加载到所述参考模型的缓冲区中,以供所述参考模型从所述缓冲区中读取所述测试激励数据;

34、第二执行模块,用于在所述参考模型生成运算结果之后,执行所述存储指令,以将所述运算结果存储至所述软件模拟器的虚拟内存中。

35、可选地,所述数据传输参数包括所述参考模型对应的缓冲区地址、所述虚拟内存对应的数组地址、数组大小、数据类型;

36、所述配置模块,包括:

37、第一编码子模块,用于将所述数组地址编码到通信控制指令对应的第一源寄存器中;所述通信控制指令为根据所述验证对象的指令集架构定义的指令;

38、第二编码子模块,用于将所述缓冲区地址编码到所述通信控制指令对应的第二源寄存器中;

39、第三编码子模块,用于根据所述数组大小编码所述通信控制指令对应的第一操作码;

40、第四编码子模块,用于根据所述数据类型编码所述通信控制指令对应的第二操作码。

41、可选地,所述第一执行模块,包括:

42、第一读取子模块,用于读取并解析所述加载指令中第一缓冲区参数和第一虚拟内存参数;

43、第一调用子模块,用于响应于所述加载指令,根据所述第一虚拟内存参数调用第一读函数;所述第一读函数用于根据所述第一虚拟内存参数从所述虚拟内存中读取测试激励数据;

44、激励获取子模块,用于获取所述第一读函数返回的测试激励数据;

45、第二调用子模块,用于根据所述第一缓冲区参数调用第一写函数;所述第一写函数用于根据所述第一缓冲区参数将所述测试激励数据写入所述缓冲区。

46、可选地,所述第二执行模块,包括:

47、第二读取子模块,用于在所述参考模型生成运算结果后,读取并解析所述存储指令中的第二缓冲区参数和第二虚拟内存参数;

48、第三调用子模块,用于响应于所述存储指令,根据所述第二缓冲区参数调用第二读函数;所述第二读函数用于根据所述第二缓冲区参数从所述缓冲区中读取所述运算结果;

49、结果获取子模块,用于获取所述第二读函数返回的所述运算结果;

50、第四调用子模块,用于根据所述第二虚拟内存参数调用第二写函数;所述第二写函数用于根据所述第二虚拟内存参数将所述运算结本文档来自技高网...

【技术保护点】

1.一种参考模型的集成方法,其特征在于,应用于软件模拟器,所述方法包括:

2.根据权利要求1所述的方法,其特征在于,所述数据传输参数包括所述参考模型对应的缓冲区地址、所述虚拟内存对应的数组地址、数组大小、数据类型;

3.根据权利要求1所述的方法,其特征在于,所述执行所述加载指令,以将所述软件模拟器的虚拟内存中的测试激励数据加载到所述参考模型的缓冲区中,包括:

4.根据权利要求1所述的方法,其特征在于,所述在所述参考模型生成运算结果之后,执行所述存储指令,以将所述运算结果存储至所述软件模拟器的虚拟内存中,包括:

5.根据权利要求1所述的方法,其特征在于,所述通信控制指令还包括控制指令;所述方法还包括:

6.根据权利要求1所述的方法,其特征在于,所述方法还包括:

7.一种参考模型的集成装置,其特征在于,应用于软件模拟器,所述装置包括:

8.根据权利要求7所述的装置,其特征在于,所述数据传输参数包括所述参考模型对应的缓冲区地址、所述虚拟内存对应的数组地址、数组大小、数据类型;

9.一种电子设备,其特征在于,所述电子设备包括处理器、存储器、通信接口和通信总线,所述处理器、所述存储器和所述通信接口通过所述通信总线完成相互间的通信;所述存储器用于存放可执行指令,所述可执行指令使所述处理器执行如权利要求1至6中任一项所述的参考模型的集成方法。

10.一种可读存储介质,其特征在于,当所述可读存储介质中的指令由电子设备的处理器执行时,使得所述处理器能够执行如权利要求1至6中任一项所述的参考模型的集成方法。

...

【技术特征摘要】

1.一种参考模型的集成方法,其特征在于,应用于软件模拟器,所述方法包括:

2.根据权利要求1所述的方法,其特征在于,所述数据传输参数包括所述参考模型对应的缓冲区地址、所述虚拟内存对应的数组地址、数组大小、数据类型;

3.根据权利要求1所述的方法,其特征在于,所述执行所述加载指令,以将所述软件模拟器的虚拟内存中的测试激励数据加载到所述参考模型的缓冲区中,包括:

4.根据权利要求1所述的方法,其特征在于,所述在所述参考模型生成运算结果之后,执行所述存储指令,以将所述运算结果存储至所述软件模拟器的虚拟内存中,包括:

5.根据权利要求1所述的方法,其特征在于,所述通信控制指令还包括控制指令;所述方法还包括:

6.根据权利要求1所述的方法,其特征在于...

【专利技术属性】
技术研发人员:石侃蒋子健郑恪然包云岗
申请(专利权)人:北京开源芯片研究院
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1