Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1069

Debugging constraints with tcl interactive debug mode

$
0
0

I'm trying to disable the constraint through tcl using "deposit -constraint_mode constraint_name [=] 0|1"

Here is the snippet from Systemverilog in Simulation pdf"

The -rand_mode and -constraint_mode options
■ Are available only when stopped inside a randomize() call.
■ Are available for class randomize calls; they are not supported for scope randomize calls.
■ Must appear first in the Tcl command line, and cannot be used with other deposit
options. "

From my understanding i'm trying to create a stop at line 26 where randomize() is being called. And i'm setting the scope to top.c1 to satisfy the two conditions. check the attachment for the code and document

xmsim: *W,DBGCMD: The constraint_mode could not be set for this reason: Not in a class randomize method call.

When the simulation is completed my goal is that r2 should be different from what is constrained. But i dont see the same behavior in the simulation


Viewing all articles
Browse latest Browse all 1069

Trending Articles