低功耗验证方法、装置、电子设备及存储介质.pdf

(19)中华人民共和国国家知识产权局(12)发明专利申请(10)申请公布号CN113723033A(43)申请公布日2021.11.30(21)申请号202110875334.3(22)申请日2021.07.30(71)申请人北京爱芯科技有限公司地址100190北京市海淀区中关村大街1号16层1605(72)发明人索健(74)专利代理机构北京清亦华知识产权代理事务所(普通合伙)11201代理人张梦瑶(51)Int.Cl.G06F30/327(2020.01)G06F30/33(2020.01)权利要求书3页说明书10页附图4页(54)发明名称低功耗验证方法、装置、电子设备及存储介质(57)摘要本申请提出一种低功耗验证方法、装置、电子设备及存储介质，其中方法包括：确定系统级芯片的寄存器传输级RTL模型以及低功耗模式下的控制逻辑测试用例；按照控制逻辑测试用例以及RTL模型，对系统级芯片进行RTL仿真阶段的仿真验证；在RTL仿真阶段验证成功时，根据RTL模型生成系统级芯片的统一电源格式UPF模型，按照控制逻辑测试用例以及UPF模型对系统级芯片进行RTL+UPF仿真阶段的仿真；在RTL+UPF仿真阶段验证成功时，根据UPF模型生成系统级芯片的PG网表，按照控制逻辑测试用例以及PG网表对系统级芯片进行PG网表仿真阶段的仿真，以确定在PG网表仿真阶段是否验证成功。该方法能够单独对RTL进行验证，解决低功耗验证盲点，降低调试RTL的复杂度。CN113723033ACN113723033A权利要求书1/3页1.一种低功耗验证方法，其特征在于，包括：确定系统级芯片的寄存器传输级RTL模型以及低功耗模式下的控制逻辑测试用例；按照所述控制逻辑测试用例以及所述RTL模型，对所述系统级芯片进行RTL仿真阶段的仿真验证，以确定在RTL仿真阶段是否验证成功；在RTL仿真阶段验证成功时，根据所述RTL模型生成所述系统级芯片的统一电源格式UPF模型，按照所述控制逻辑测试用例以及所述UPF模型对所述系统级芯片进行RTL+UPF仿真阶段的仿真，以确定在RTL+UPF仿真阶段是否验证成功；在RTL+UPF仿真阶段验证成功时，根据所述UPF模型生成所述系统级芯片的PG网表，按照所述控制逻辑测试用例以及所述PG网表对所述系统级芯片进行PG网表仿真阶段的仿真，以确定在PG网表仿真阶段是否验证成功。2.根据权利要求1所述的方法，其特征在于，所述控制逻辑测试用例包括：低功耗模式下各个电源域对应的测试用例；所述按照所述控制逻辑测试用例以及所述RTL模型，对所述系统级芯片进行RTL仿真阶段的仿真验证，包括：针对每个电源域，按照所述电源域对应的测试用例控制所述RTL模型中寄存器的输入数值，以获取所述RTL模型中各个电路单元的实际输出值；将各个电路单元的实际输出值与所述各个电路单元在所述输入数值下的理论输出范围进行比对，确定在RTL仿真阶段是否验证成功。3.根据权利要求2所述的方法，其特征在于，所述针对每个电源域，按照所述电源域对应的测试用例控制所述RTL模型中寄存器的输入数值，以获取所述RTL模型中各个电路单元的实际输出值，包括：针对每个电源域，按照所述电源域对应的测试用例控制所述RTL模型中寄存器的输入数值，进行仿真过程；在仿真过程中调用所述RTL模型中各个电路单元，以获取所述各个电路单元在仿真过程中的实际输出值。4.根据权利要求2所述的方法，其特征在于，所述RTL模型中的各个电路单元包括以下单元中的至少一种：电源域开关、门控时钟、复位单元、隔离和逻辑电路信号开关。5.根据权利要求1所述的方法，其特征在于，所述UPF模型设置有重新初始化逻辑，以在重新初始化逻辑触发后将所述UPF模型中各个电路单元的数值调整为预设的初始值。6.根据权利要求5所述的方法，其特征在于，所述重新初始化逻辑的设置方式包括以下方式中的至少一种：将所述重新初始化逻辑添加到所述UPF模型中；在所述UPF模型外嵌套外层逻辑，其中，所述外层逻辑中包括所述重新初始化逻辑。7.根据权利要求1所述的方法，其特征在于，所述根据所述RTL模型生成所述系统级芯片的统一电源格式UPF模型，按照所述控制逻辑测试用例以及所述UPF模型对所述系统级芯片进行RTL+UPF仿真阶段的仿真，包括：针对每个电源域，按照所述电源域对应的测试用例控制所述UPF模型中寄存器的输入数值，以获取所述UPF模型中各个电路单元的电路管脚的实际电压数值；将各个电路管脚的实际电压数值与所述各个电路管脚的理论电压范围进行比对，确定2CN113723033A权利要求书2/3页在RTL+UPF仿真阶段是否验证成功。8.根据权利要求1所述的方法，其特征在于，所述PG网表为未设置有标准延时格式文件的网表，用于对所述系统级芯片进行网表功能仿真。9.一种低功耗验证装置，其特征