Function in Constraints-Solver Failed

[dave_59]

x will be given a random value before the function gets called.

Regarding function in constraints

Hi All , Section 18.5.12 of the LRM discuses about function call in constraints . One of the key points is : Functions shall be called before constraints are solved, and their return values shall be treated as state variables. It then gives an example : class B; rand int x, y; constraint C { x <= F(y); } constraint D { y inside { 2, 4, 8 } ; } endclass So y gets solved / picked before x i.e there is an implicit solving order. If I were to change constraint to : class B; rand bit[3:0…