13.33.177.1 Arguments

-pin_name {pin_name}

Specifies the name of a pin for which the probability will be set. This pin must be the direct driver of an enable pin.

-pin_enable_rate {value}

Specifies the value of the pin probability as a percentage, which can be any positive decimal between 0 and 100, inclusive.