How to Inspect Constraints Using the DVT Eclipse IDE


In DVT you can easily see where a variable is constrained: right click on it's name and pick Show ... Constraints, or simply use the hyperlink option if the variable has the rand qualifier.

The results are shown in the Search View, and they include static constraints, in-line (randomize_with, uvm_do_with) constraints as well as calls to rand_mode() and constraint_mode() which affect the variable randomization.

Explore the design and verification tools:
Or request a license: