【技术实现步骤摘要】
本专利技术涉及芯片验证，特别涉及一种参考模型生成方法、装置、设备及存储介质。
技术介绍
1、芯片验证主要是针对芯片设计出来的rtl(register transfer level，寄存器传输级)代码进行功能验证，来确保设计出的代码的可靠性与实用性。
2、随着近年来芯片的应用愈加广泛，对于芯片的性能要求和复杂程度也越来越高，在实际的项目研发过程中，芯片的需求并不是一成不变的，随着客户的需求变化，芯片的功能需求增加，芯片的设计和验证都需要针对增加的功能点增加相应的代码，对于芯片验证来说，需求的增加意味着需要验证的功能点增加，为了保证芯片验证的充分性与完备性，相对应验证平台发出的激励的种类就要进行相应的修改，即增加之前的激励中的变量和约束。
3、对于芯片验证平台而言，产生的激励需要通过传输至参考模型进行高级软件语言的逻辑运算，在计分板中将运算得到的结果与实际的rtl产生的值进行比较，从而判断芯片设计的功能是否正确和完善。在芯片的设计规范不断迭代完善的过程中，验证人员需要同步的对搭建好的验证平台的相关逻辑进行修改或补充，...
【技术保护点】
1.一种参考模型生成方法，其特征在于，包括：
2.根据权利要求1所述的参考模型生成方法，其特征在于，所述基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系之前，还包括：
3.根据权利要求1所述的参考模型生成方法，其特征在于，所述获取对所述待验证芯片进行模块级验证时所需的目标寄存器传输级内部变量和目标激励内部变量，包括：
4.根据权利要求1所述的参考模型生成方法，其特征在于，所述对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法，包括：
5.根据权利...
【技术特征摘要】
1.一种参考模型生成方法，其特征在于，包括：
2.根据权利要求1所述的参考模型生成方法，其特征在于，所述基于待验证芯片的功能覆盖点建立寄存器传输级内部变量与激励内部变量之间的目标映射关系之前，还包括：
3.根据权利要求1所述的参考模型生成方法，其特征在于，所述获取对所述待验证芯片进行模块级验证时所需的目标寄存器传输级内部变量和目标激励内部变量，包括：
4.根据权利要求1所述的参考模型生成方法，其特征在于，所述对所述目标寄存器传输级文件进行分析以确定所述目标寄存器传输级内部变量所参与的目标运算逻辑算法，包括：
5.根据权利要求1所述的参考模型生成方法，其特征在于，所述对所述目标寄存器传输级文件进...
【专利技术属性】
技术研发人员：孔德智博，姚香君，夏丽煖，刘世伟，刘胜军，覃耀，张楠，王雷，孟阳，
申请(专利权)人：山东云海国创云计算装备产业创新中心有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。