例 3: リセット時のスタティック確率の値が正確であることを確認 - 2022.1 日本語

# Query the Static Probability value of the reset
report_switching_activity -static_probability [get_ports reset]
# Output is -   reset:  static probability = 0.5 (D)

# Set Static Probability value and signal rate of reset to 0
set_switching_activity -static_probability 0.0 -toggle_rate 0 [get_ports reset]

# Generate post-route verbose power report
report_power -verbose -file ex1_post_route_design.pwr