I have to write the following concurrent assertion in my monitor:
assert property (vif.cos == 1 |-> vif_out.y == vif.xi/sqrt(2));
I tried to put it in the run_phase, but I got the following error: Concurrent assertions are not allowed in tasks/class methods.
Where should I put it?