对带有UPF的rtl进行验证FLOW
1.需要DE提供的输入件:UPF文件;上下电时序
2.根据DE提供的UPF文件写DV的UPF文件;比如把…设置为顶层,scope是什么
3.仿真case里用$supply_on上电;
4.根据需求配置上下电激励,以及isolation
UPF验证构造的激励
进行带功能的UPF验证;建议用不带UPF的用例(有上下电流程的)跑一次,再用带UPF的用例跑一次
UPF的checker
用bind的语法
仿真相关的命令
- indago dump波形的命令
ida_probe -wave -wave_probe_args=" tb -depth all -power -sr_all_save"
1.-power :probes all low-power simulation contrpl expressions and records them in the SHM database:
contain power domains;isolation;retension;supply information - -sr_all_save:probes all retention shadow registers values under tb
note:tb 是平台的顶层的命名 - compile的命令option
a. -lps_1801 filename: 指定符合IEEE 1801 标准的UPF 文件
b. -lps_comm_options:使能了一系列lowpower 相关的功能,比如-lps_viso;-lps_v10_ack;-lps_replay_comb_always; -lps_relax_1801 等
UPF的常用语法
1.创建domain
create_power_domain PD_TOP
2.声明 set
3.定义power switch策略
4.定义isolation策略
5.定义retention策略