指定条件性UPF命令
VC LP提供了`test_conditional_upfcommand`,使能够编写需要放在某些Tcl条件语句内的UPF命令,例如:
可以使用`test_conditional_upfcommand`为这些条件指定多个要求。如果任何指定的UPF命令不符合所需的条件,则在`report_read`命令中报告违规。例如:
File1.upf:29: [Error] CONDITIONAL_MISSING: Command appears without required conditional. Command create_power_switch appears without required conditional {::DISABLE_PWR_SWITCH == 1 }