How to write a constraint for xor gate?

UVM
3

In reply to dave_59:

constraint C1{a^b==1;}
Is it work right…?