买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明授权】一种基于RISC-V架构的处理器验证系统_青岛本原微电子有限公司_202311733460.0 

申请/专利权人:青岛本原微电子有限公司

申请日:2023-12-18

公开(公告)日:2024-03-26

公开(公告)号:CN117422026B

主分类号:G06F30/3308

分类号:G06F30/3308;G06F17/18;G06F8/53

优先权:

专利状态码:有效-授权

法律状态:2024.03.26#授权;2024.02.06#实质审查的生效;2024.01.19#公开

摘要:本发明公开了一种基于RISC‑V架构的处理器验证系统,将指令生成模块、程序编译模块、模拟器模块、仿真验证模块、比对检查模块和回归管理模块联系起来,通过统一的接口和交互提高验证环境的整体效率、自动化程度和可靠性;对开源指令生成器进行改造设计出适应不同功能场景的指令生成模块,确保生成的随机指令流覆盖各种场景和特殊情况;对被测对象和子系统的行为级功能进行模拟,实现全面准确的验证;利用RTL仿真日志文件与模拟器输出日志文件进行比对的方式减少验证系统对参考模型的依赖;通过并行回归多个用例、充分利用硬件资源以及优化操作流程和结果呈现的方式解决仿真效率低的问题,同时保证回归结果的正确性。

主权项:1.一种基于RISC-V架构的处理器验证系统,其特征在于,包括:指令生成模块,为程序生成部分,生成包含随机指令流的汇编程序;其中,当验证特权功能时,在随机指令中加入以若干条存储指令结束的握手数据,以实现基于存储指令将握手数据存储到指定的签名地址;程序编译模块,包括汇编程序所用到的编译器、连接器和反汇编器、编译所生成的结果文件资源库、以及验证系统的编译工具调用脚本;模拟器模块,包括模拟器和模拟器输出日志文件的参考模型资源库,以及模拟器调用脚本;仿真验证模块,包括UVM测试环境、被测对象和UVM_TEST,以及用于构建、控制和管理仿真的主脚本、项目管理脚本和Makefile;所述UVM测试环境由UVM代理和虚拟序列器构成;所述UVM_TEST调用虚拟序列器动态生成用以描述不同测试场景和测试用例的随机激励;所述UVM代理包括内核输出代理,所述内核输出代理包括内核输出监测器,用于:监测被测对象实时信号变化,并将关键信号的变化信息输出到被测对象信号监视输出的RTL仿真日志文件中,以及,监测签名地址的写入操作,将写入操作的相关信息传输到UVM测试环境,以使UVM测试环境接收到签名地址上的相关信息后,执行对应特权功能的测试事务或比对操作;比对检查模块,用于对处理器的RTL仿真日志文件与模拟器输出日志文件进行比对来检查仿真验证结果的正确性;回归管理模块,用于在处理器修改或添加新功能后重新运行测试用例,通过回归管理脚本进行大规模随机并行回归,并将回归结果进行可视化展示;所述系统在指令生成模块中引入握手数据枚举类型,包括用于表示握手数据中的签名类型的signature_type_t枚举类型和用于表示处理器核心的不同状态的core_status_t枚举类型;所述握手数据将信息从被测对象传递到仿真验证模块的UVM测试环境中,并在验证过程中进行分析和比对操作。

全文数据:

权利要求:

百度查询: 青岛本原微电子有限公司 一种基于RISC-V架构的处理器验证系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。