[发明专利]一种芯片低功耗验证方法

说明书

本发明提供一种芯片低功耗验证方法，包括：模拟芯片初始掉电状态；模拟芯片上电复位；读取boot模式及启动地址，读取CPU指令，按照芯片低功耗场景进行用例配置，CPU配置待机；配置深睡场景的子系统处于掉电状态，唤醒到来后，可以从掉电状态直接恢复到上电状态，唤醒方式需要进行遍历测试；配置浅睡场景的子系统不掉电，处于待机状态，唤醒来临后，从待机状态直接恢复到工作状态。低功耗用例采用SVA断言对掉电上电时序实时监测，减少验证的人工检查工作量，大大提高工作效率。

技术领域

本发明涉及芯片验证方法，尤其是一种芯片低功耗验证方法。

背景技术

随着芯片应用场景越来越复杂，对于芯片的功耗要求越来越高，芯片低功耗设计成为芯片关键性的性能指标，芯片的低功耗验证成为独立验证方向。

现在普遍采用的低功耗验证主要是在PG网表阶段进行验证，验证方法主要从波形上确认掉电后是否可以正常唤醒，且唤醒后cpu是否可以正常工作，对于全芯片上电时序及掉电前隔离使能生效后，信号隔离值检查缺乏一个系统且全面的验证。

发明内容

针对现有技术中存在的问题，本发明提供一种芯片低功耗验证方法，通过自动化生成SVA断言及编写自动化脚本解决上述低功耗用例验证盲点。

本发明是通过以下技术方案来实现：

一种芯片低功耗验证方法，包括如下验证过程：

步骤1，模拟芯片初始掉电状态；

步骤2，模拟芯片上电复位；

步骤3，读取boot模式及启动地址，读取CPU指令，按照芯片低功耗场景进行用例配置，CPU配置待机；

步骤4，用例配置场景如果为深睡模式，则进行步骤5，用例配置场景如果为浅睡模式，则进行步骤6；

步骤5，深睡模式下，子系统进入掉电状态；验证平台模拟产生唤醒激励，电源管理模块的状态机接收到唤醒激励后，电源管理模块输出控制信号给芯片模拟部分，芯片模拟部分给子系统提供电源，子系统从掉电状态跳转到上电状态；或者电源管理模块直接给子系统供电，子系统从掉电状态跳转到上电状态；子系统重新上电后，CPU从待机状态恢复到正常状态，重新boot或从待机前保存的指令指针处进行执行；验证平台中添加SVA断言，用于检查电源管理模块的状态机输出控制信号时序及芯片模拟部分提供给子系统的供电时序；

步骤6，浅睡模式下，验证平台模拟产生唤醒激励，电源管理模块的状态机接收到唤醒激励后，电源管理模块状态机从浅睡状态跳转到唤醒状态；CPU从待机状态恢复到正常状态，从睡眠前指令地址处继续读指令，执行后续操作。

优选的，在RTL仿真和PG网表两个阶段均进行验证。

进一步的，在RTL仿真阶段，通过仿真参数中添加CPF文件并设置CPF仿真参数进行低功耗仿真；CPF文件用于定义电源域、各电源域掉电条件、隔离使能生效条件及信号隔离值。

优选的，在步骤1之前，编写自动化脚本，提取含有initial语句的model，将提取的model添加到CPF文件中，通过参数选项设置，使model每次上电后都重新进行初始化。

优选的，步骤5中，子系统对应的电源域掉电之前，隔离使能生效，采用SVA断言检测信号的隔离值是否正确，如果不正确，则打印错误原因，并停止仿真。

进一步的，所述SVA断言自动化产生过程为：根据CPF文件隔离值定义及隔离产生条件，提取隔离使能生效时定义的信号隔离值，且自动化产生SVA断言。

与现有技术相比，本发明具有以下有益的技术效果：