UPF的验证

对带有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策略