使用vcs进行PA仿真时出错【XMRE】

SGengiant

错误内容如下：

Error-[XMRE] Cross-module reference resolution error
/ic/eda_tools/synopsys/vcs_vP-2019.06-SP1_P/etc/upf/upf_package.svlp, 1
  Error found while trying to resolve cross-module reference.
  token 'back'.  Originating module 'PowerScope', first module hit
  'PowerNetworkModel'.
  Source info: assign pd_trng_group_domain_states[0] =
  (PowerNetworkModel.ps_hmd_top.pd_trng.primary.supply_set_state[1] &
  PowerNetworkModel.ps_hmd_top.pd_trng.back.supply_set_state[0]);
  Instance stack trace:
      PowerScope
      PowerNetworkModel  
  /ic/eda_tools/synopsys/vcs_vP-2019.06-SP1_P/etc/upf/upf_components.svlp, 907


我理解是因为UPF里面写了这样的约束:


add_power_state -domain pd_trng \
-state normal \
        {-logic_expr {pd_trng.primary == ON && pd_trng.back == ON}} \
-state shutoff \
        {-logic_expr {pd_trng.primary == OFF && pd_trng.back == ON}}

一个domain的状态由两个supply set的状态决定，这样写upf不是很正常吗，为什么PA仿真时会报错呢