System.ArgumentOutOfRangeException: 索引和长度必须引用该字符串内的位置。 参数名: length 在 System.String.Substring(Int32 startIndex, Int32 length) 在 zhuanliShow.Bind()
【技术实现步骤摘要】
本专利技术涉及芯片验证,特别涉及一种参考模型生成方法、装置、设备及存储介质。
技术介绍
1、芯片验证主要是针对芯片设计出来的rtl(register transfer level,寄存器传输级)代码进行功能验证,来确保设计出的代码的可靠性与实用性。
2、随着近年来芯片的应用愈加广泛,对于芯片的性能要求和复杂程度也越来越高,在实际的项目研发过程中,芯片的需求并不是一成不变的,随着客户的需求变化,芯片的功能需求增加,芯片的设计和验证都需要针对增加的功能点增加相应的代码,对于芯片验证来说,需求的增加意味着需要验证的功能点增加,为了保证芯片验证的充分性与完备性,相对应验证平台发出的激励的种类就要进行相应的修改,即增加之前的激励中的变量和约束。
3、对于芯片验证平台而言,产生的激励需要通过传输至参考模型进行高级软件语言的逻辑运算,在计分板中将运算得到的结果与实际的rtl产生的值进行比较,从而判断芯片设计的功能是否正确和完善。在芯片的设计规范不断迭代完善的过程中,验证人员需要同步的对搭建好的验证平台的相关逻辑进行修改或补充,尤其是参考模型组件,保证输入变量的运算逻辑与设计rtl相匹配,如果芯片设计逻辑较为复杂且逻辑跳变可能性较多,对于芯片验证人员来说,会投入大量的精力用于增加激励和参考模型的逻辑匹配上,从而降低了芯片验证的效率。
技术实现思路
1、有鉴于此,本专利技术的目的在于提供一种参考模型生成方法、装置、设备及存储介质,能够节省模块验证时编写参考模型所需的时间成本和
2、第一方面,本专利技术公开了一种参考模型生成方法,包括:
3、基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系;
4、获取对所述待验证芯片进行模块级验证时所需的目标寄存器传输级内部变量和目标激励内部变量;
5、根据所述目标寄存器传输级内部变量在寄存器传输级内部进行检索以读取出相应的目标寄存器传输级文件,并对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法;
6、根据所述目标映射关系确定所述目标激励内部变量与所述目标运算逻辑算法之间的联系;
7、根据外部输入的目标信息和所述目标激励内部变量与所述目标运算逻辑算法之间的联系生成验证平台所需的目标参考模型;所述目标信息包括激励类型、激励的获取与发送方式以及所使用的总线协议。
8、可选的,所述基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系之前,还包括:
9、确定待验证芯片的功能覆盖点;
10、获取针对所述待验证芯片所设计的寄存器传输级代码,并对所述寄存器传输级代码进行分析以统计所述寄存器传输级内部的变量,以得到相应的寄存器传输级内部变量;
11、确定验证平台的激励内部变量;所述激励内部变量为预先定义的激励中所需的变量;
12、相应的,所述基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系,包括:
13、对所述待验证芯片的所述功能覆盖点和所述寄存器传输级内部变量进行分类得到相应的第一分类结果;
14、基于所述第一分类结果建立所述功能覆盖点与所述寄存器传输级内部变量之间的映射关系,得到相应的第一映射关系;
15、对所述待验证芯片的所述功能覆盖点和所述激励内部变量进行分类得到相应的第二分类结果;
16、基于所述第二分类结果建立所述功能覆盖点与所述激励内部变量之间的映射关系,得到相应的第二映射关系;
17、基于所述第一映射关系和所述第二映射关系建立所述寄存器传输级内部变量与所述激励内部变量之间的映射关系,得到相应的目标映射关系。
18、可选的,所述获取对所述待验证芯片进行模块级验证时所需的目标寄存器传输级内部变量和目标激励内部变量,包括:
19、获取对所述待验证芯片进行模块级验证时在所述寄存器传输级内部中的目标寄存器传输级内部变量;所述目标寄存器传输级内部变量为参与所述寄存器传输级内部的预设主要逻辑运算的变量;
20、获取对所述待验证芯片进行模块级验证时验证平台发送至激励内部的目标激励内部变量;所述目标激励内部变量为用于激活所述寄存器传输级正常工作所需的变量。
21、可选的,所述对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法,包括:
22、对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的case语句、if-else语句或for循环语句中的任意一种逻辑,得到目标运算逻辑算法。
23、可选的,所述对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法之后,还包括:
24、建立所述目标运算逻辑算法与所述目标寄存器传输级内部变量之间的联系。
25、可选的,所述根据所述目标映射关系确定所述目标激励内部变量与所述目标运算逻辑算法之间的联系,包括:
26、根据所述目标运算逻辑算法与所述目标寄存器传输级内部变量之间的联系以及所述目标映射关系将所述目标运算逻辑算法与所述目标激励内部变量进行匹配,以建立所述目标激励内部变量与所述目标运算逻辑算法之间的联系。
27、可选的,所述总线协议为高级微控制器总线架构总线协议或非标准总线协议。
28、第二方面,本专利技术公开了一种参考模型生成装置,包括:
29、映射关系建立模块,用于基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系;
30、变量获取模块,用于获取对所述待验证芯片进行模块级验证时所需的目标寄存器传输级内部变量和目标激励内部变量;
31、文件读取模块,用于根据所述目标寄存器传输级内部变量在寄存器传输级内部进行检索以读取出相应的目标寄存器传输级文件;
32、文件分析模块,用于对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法;
33、联系确定模块,用于根据所述目标映射关系确定所述目标激励内部变量与所述目标运算逻辑算法之间的联系;
34、参考模型生成模块,用于根据外部输入的目标信息和所述目标激励内部变量与所述目标运算逻辑算法之间的联系生成验证平台所需的目标参考模型;所述目标信息包括激励类型、激励的获取与发送方式以及所使用的总线协议。
35、第三方面,本专利技术公开了一种电子设备,包括:
36、存储器,用于保存计算机程序;
37、处理器,用于执行所述计算机程序,以实现前述公开的参考模型生成方法的步骤。
38、第四方面,本专利技术公开了一种计算机可读存储介质,用于存储计算机程序;其中,本文档来自技高网...
【技术保护点】
1.一种参考模型生成方法,其特征在于,包括:
2.根据权利要求1所述的参考模型生成方法,其特征在于,所述基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系之前,还包括:
3.根据权利要求1所述的参考模型生成方法,其特征在于,所述获取对所述待验证芯片进行模块级验证时所需的目标寄存器传输级内部变量和目标激励内部变量,包括:
4.根据权利要求1所述的参考模型生成方法,其特征在于,所述对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法,包括:
5.根据权利要求1所述的参考模型生成方法,其特征在于,所述对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法之后,还包括:
6.根据权利要求5所述的参考模型生成方法,其特征在于,所述根据所述目标映射关系确定所述目标激励内部变量与所述目标运算逻辑算法之间的联系,包括:
7.根据权利要求1至6任一项所述的参考模型生成方法,其特征在于,所述总线协议为高级微控制器总线架构
8.一种参考模型生成装置,其特征在于,包括:
9.一种电子设备,其特征在于,包括:
10.一种计算机可读存储介质,其特征在于,用于存储计算机程序;其中,所述计算机程序被处理器执行时实现如权利要求1至7任一项所述的参考模型生成方法的步骤。
...【技术特征摘要】
1.一种参考模型生成方法,其特征在于,包括:
2.根据权利要求1所述的参考模型生成方法,其特征在于,所述基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系之前,还包括:
3.根据权利要求1所述的参考模型生成方法,其特征在于,所述获取对所述待验证芯片进行模块级验证时所需的目标寄存器传输级内部变量和目标激励内部变量,包括:
4.根据权利要求1所述的参考模型生成方法,其特征在于,所述对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法,包括:
5.根据权利要求1所述的参考模型生成方法,其特征在于,所述对所述目标寄存器传输级文件进...
【专利技术属性】
技术研发人员:孔德智博,姚香君,夏丽煖,刘世伟,刘胜军,覃耀,张楠,王雷,孟阳,
申请(专利权)人:山东云海国创云计算装备产业创新中心有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。