验证模型及其构建方法、芯片验证方法和验证系统.pdf

(19)国家知识产权局(12)发明专利申请(10)申请公布号CN115859872A(43)申请公布日2023.03.28(21)申请号202111116404.3(22)申请日2021.09.23(71)申请人OPPO广东移动通信有限公司地址523860广东省东莞市长安镇乌沙海滨路18号(72)发明人周建伟(74)专利代理机构华进联合专利商标代理有限公司44224专利代理师纪婷婧(51)Int.Cl.G06F30/33(2020.01)G06F113/18(2020.01)G06F115/08(2020.01)G06F115/02(2020.01)权利要求书2页说明书9页附图4页(54)发明名称验证模型及其构建方法、芯片验证方法和验证系统(57)摘要本申请实施例涉及一种验证模型及其构建方法、芯片验证方法和验证系统，验证模型的构建方法，包括：获取处理器的RTL模型，RTL模型被配置有对应的目标处理功能；通过SystemVerilog语言对RTL模型进行抽象以建立总线功能模型，总线功能模型用于与待验证设计连接；对总线功能模型进行封装，并对封装后的总线功能模型配置应用程序编程接口，验证模型在应用程序编程接口被调用时，总线功能模型用于执行对应的目标处理功能，以对待验证设计进行验证。通过获取抽象层次较高的总线功能模型，可以提高了仿真验证的收敛速度。而且在验证过程中，可以通过SystemVerilog语言语句直接调用应用程序编程接口，从而省去了对C语言语句的编译、汇编过程，提高了验证效率。CN115859872ACN115859872A权利要求书1/2页1.一种验证模型的构建方法，其特征在于，包括：获取处理器的RTL模型，所述RTL模型被配置有对应的目标处理功能；通过SystemVerilog语言对所述RTL模型进行抽象以建立总线功能模型，所述总线功能模型用于与待验证设计连接；对所述总线功能模型进行封装，并对封装后的所述总线功能模型配置应用程序编程接口，验证模型在所述应用程序编程接口被调用时，所述总线功能模型用于执行对应的所述目标处理功能，以对所述待验证设计进行验证。2.根据权利要求1所述的构建方法，其特征在于，所述处理器包括多个所述RTL模型；其中，所述通过SystemVerilog语言对所述RTL模型进行抽象以建立对应的总线功能模型，包括：通过SystemVerilog语言分别对各所述RTL模型进行抽象，以建立多个对应的所述总线功能模型，各所述总线功能模型分别被配置有不同的所述目标处理功能。3.根据权利要求2所述的构建方法，其特征在于，所述方法还包括：将封装后的多个所述总线功能模块集成于同一验证模组，并为所述验证模组配置多个所述应用程序编程接口，以响应于调用语句调用对应的一个所述应用程序编程接口。4.根据权利要求1所述的构建方法，其特征在于，所述RTL模型为数据运算模型，其中，所述对所述总线功能模型进行封装并提供应用程序编程接口，包括：对所述总线功能模型进行封装，并提供SystemVerilog语言的应用程序编程接口WR32(第一字段、第二字段和第三字段)，所述第一字段、所述第二字段和所述第三字段中的一个为运算结果的目标存储地址，所述第一字段、所述第二字段和所述第三字段中的另一个为待运算数据及其运算方式，所述第一字段、所述第二字段和所述第三字段中剩余的一个为执行运算的处理器名称。5.根据权利要求1所述的构建方法，其特征在于，所述RTL模型为功耗管理模型，所述通过SystemVerilog语言对所述RTL模型进行抽象以建立总线功能模型，包括：通过SystemVerilog语言对所述功耗管理模型进行抽象，以建立包括多条if‑else语句的总线功能模型，所述if‑else语句用于控制电源在满足预设条件时转换至对应的工作状态。6.一种芯片验证方法，其特征在于，包括：采用如权利要求1至5任一项所述的验证模型的构建方法构建验证模型；生成并输出调用语句至所述验证模型，所述调用语句用于调用对应的所述应用程序编程接口，以使所述总线功能模型执行对应的所述目标处理功能对所述待验证设计进行验证。7.根据权利要求6所述的芯片验证方法，其特征在于，还包括：获取所述待验证设计输出的验证结果；当所述验证结果与预设结果不同时，获取所述待验证设计的目标引脚在验证过程中的信号波形图；根据所述信号波形图确定所述验证结果的错误原因。8.一种验证模型，其特征在于，采用如权利要求1至5任一项所述的验证模型的构建方法构建生成。2CN115859872A权利要求书2/2页9.一种芯片验证系统，其特征在于，包括：待验证设计；如权利要求8所述的验证模型，所述验证模型通过AHB总线、AXI总线和APB总线中的一种与所述待验证设计连接。10.根据权利要求9所述的芯片验证系统，其特征在于，所