20.4.9.1 Arguments

-domain_name{value}

Specifies the domain name in which to initialize frequencies and probabilities.

-clocks_freq {value}

Specifies the user input frequency in Hz, KHz, or MHz for all clocks.

-clocks_proba {value}

Specifies the user input probability in % for all clocks.

-registers_freq {value}

Specifies the user input frequency (in Hz, KHz, or MHz) or the toggle rate (in %). If the unit is not provided and toggle rate is active, the value is handled as a toggle rate; if toggle rate is not active, the value is handled as a frequency.

-registers_proba {value}

Specifies the user input probability in % for all registers.

-set_reset_freq {value}

Specifies the user input frequency (in Hz, KHz, or MHz) or the toggle rate (in %). If the unit is not provided and toggle rate is active, the value is handled as a toggle rate; if toggle rate is not active, the value is handled as a frequency.

-set_reset_proba {value}

Specifies the user input probability in % for all set/reset nets.

-primaryinputs_freq {value}

Specifies the user input frequency (in Hz, KHz, or MHz) or the toggle rate (in %). If the unit is not provided and toggle rate is active, the value is handled as a toggle rate; if toggle rate is not active, the value is handled as a frequency.

-primaryinputs_proba {value}

Specifies the user input probability in % for all primary inputs.

-combinational_freq {value}

Specifies the user input frequency (in Hz, KHz, or MHz) or the toggle rate (in %). If the unit is not provided and toggle rate is active, the value is handled as a toggle rate; if toggle rate is not active, the value is handled as a frequency.

-combinational_proba {value}

Specifies the user input probability in % for all combinational combinational output.