XOR in assertion property

SystemVerilog
, , ,
2

In reply to Junior:

You are using the correct operator (^) for XOR. The power operator is (******)