Is it possible to write a constraint, if a variable is not declared as ‘rand’ or ‘randc’ ?
In reply to Rudra Rao:
When calling randomize(), all constraints must evaluate true for randomize() to succeed(return true). It doesn’t matter if the constraint expressions contain random or non-random variables. It’s just that the constraint solver must pick values for those random variables so that randomize() succeeds.