1.一种芯片低功耗验证方法,其特征在于,包括如下验证过程:
步骤1,模拟芯片初始掉电状态;
步骤2,模拟芯片上电复位;
步骤3,读取boot模式及启动地址,读取CPU指令,按照芯片低功耗场景进行用例配置,CPU配置待机;
步骤4,用例配置场景如果为深睡模式,则进行步骤5,用例配置场景如果为浅睡模式,则进行步骤6;
步骤5,深睡模式下,子系统进入掉电状态;验证平台模拟产生唤醒激励,电源管理模块的状态机接收到唤醒激励后,电源管理模块输出控制信号给芯片模拟部分,芯片模拟部分给子系统提供电源,子系统从掉电状态跳转到上电状态;或者电源管理模块直接给子系统供电,子系统从掉电状态跳转到上电状态;子系统重新上电后,CPU从待机状态恢复到正常状态,重新boot或从待机前保存的指令指针处进行执行;验证平台中添加SVA断言,用于检查电源管理模块的状态机输出控制信号时序及芯片模拟部分提供给子系统的供电时序;
步骤6,浅睡模式下,验证平台模拟产生唤醒激励,电源管理模块的状态机接收到唤醒激励后,电源管理模块状态机从浅睡状态跳转到唤醒状态;CPU从待机状态恢复到正常状态,从睡眠前指令地址处继续读指令,执行后续操作;
步骤5中,子系统对应的电源域掉电之前,隔离使能生效,采用SVA断言检测信号的隔离值是否正确,如果不正确,则打印错误原因,并停止仿真;
所述SVA断言自动化产生过程为:根据CPF文件隔离值定义及隔离产生条件,提取隔离使能生效时定义的信号隔离值,且自动化产生SVA断言。
2.根据权利要求1所述的芯片低功耗验证方法,其特征在于,在RTL仿真和PG网表两个阶段均进行芯片低功耗验证。
3.根据权利要求2所述的芯片低功耗验证方法,其特征在于,在RTL仿真阶段,通过仿真参数中添加CPF文件并设置CPF仿真参数进行低功耗仿真;CPF文件用于定义电源域、各电源域掉电条件、隔离使能生效条件及信号隔离值。
4.根据权利要求1所述的芯片低功耗验证方法,其特征在于,在步骤1之前,编写自动化脚本,提取含有initial语句的model,将提取的model添加到CPF文件中,通过参数选项设置,使model每次上电后都重新进行初始化。