@DCState

Syntax

@dcstate

Use

When @dcstate is specified, all unspecified state diagram states and transitions are applied to the design outputs as don't-cares. This option must be used in combination with @dcset or with the 'dc' attribute.