20.4.16.1 Arguments

-with{value}

This sets the option of initializing frequencies and probabilities with vectorless analysis or with fixed values. The following table shows the acceptable values for this argument:

Value

Description

vectorless

Initializes frequencies and probabilities with vectorless analysis

fixed

Initializes frequencies and probabilities with fixed values

-opmode {value}

Specifies the mode in which to initialize frequencies and probabilities. The mode needs to be based on an Active mode.

-clocks {value}

This sets the option of initializing frequencies and probabilities for all clocks. The following table shows the acceptable values for this argument:

Value

Description

true

Initializes frequencies and probabilities for all clocks

false

Does not initialize frequencies and probabilities for all clocks

-registers {value}

This sets the option of initializing frequencies and probabilities for all registers. The following table shows the acceptable values for this argument:

Value

Description

true

Initializes frequencies and probabilities for all registers

false

Does not initialize frequencies and probabilities for all registers

-set_reset {value}

This sets the option of initializing frequencies and probabilities for all set/reset nets. The following table shows the acceptable values for this argument:

Value

Description

true

Initializes frequencies and probabilities for all set/reset nets

false

Does not initialize frequencies and probabilities for all set/reset nets

-primaryinputs{value}

This sets the option of initializing frequencies and probabilities for all primary inputs. The following table shows the acceptable values for this argument:

Value

Description

true

Initializes frequencies and probabilities for all primary inputs

false

Does not initialize frequencies and probabilities for all primary inputs

-combinational {value}

This sets the option of initializing frequencies and probabilities for all combinational outputs. The following table shows the acceptable values for this argument:

Value

Description

true

Initializes frequencies and probabilities for all combinational outputs

false

Does not initialize frequencies and probabilities for all combinational outputs

-enables {value}

This sets the option of initializing frequencies and probabilities for all enable sets of pins. The following table shows the acceptable values for this argument:

Value

Description

true

Initializes frequencies and probabilities for all enable sets of pins

false

Does not initialize frequencies and probabilities for all enable sets of pins

-othersets {value}

This sets the option of initializing frequencies and probabilities for all other sets of pins. The following table shows the acceptable values for this argument:

Value

Description

true

Initializes frequencies and probabilities for all other sets of pins

false

Does not initialize frequencies and probabilities for all other sets of pins