Show Constraints

To see where a field or variable is constrained, right click on it’s name > Show > Constraints.

../../_images/e_show_constraints_trigger_editor.png

The results are presented in the Search View.

../../_images/e_show_constraints_results.png

The results include:

../../_images/constraint_obj1.png

Constraints or type constraints involving the variable.
../../_images/randomize_with.png

In-line constraints involving the variable, in do … keeping {} and gen … keeping {} actions.
../../_images/randomize_with.png

Initializations involving the variable in new … with {} actions.
../../_images/randomize_with.png

Allocations of the variable using new.
../../_images/randomize_with.png

Generations of the variable using gen or do actions.

Tip

For generatable fields you can also hold down the Ctrl key while hovering the name of the field with the mouse cursor, and pick Show Constraints from the pop-up list.

../../_images/e_show_constraints_trigger_hyperlink.png

Tip

You can also trigger this functionality from a view’s context menu, for example from the Types View or UVM Browser View.

../../_images/e_show_constraints_trigger_view.png

Tip

You can choose to hide the matches where the field or variable is initialized or generated Filters… button:

../../_images/e_show_constraints_filter.png