Hi How can I do xor in assertion property? like- property checker(clk,enable,a,b,idx); @(posedge clk) (enable) |-> a[idx^b] === b; endproperty:checker it’s seem it do idx power b … Thanks

IMPORTANT NOTICE: Please be advised that the Verification Academy Forums will be offline for scheduled maintenance on Sunday, September 14th at 1:00 US/Pacific.

Verification Academy

XOR in assertion property

SystemVerilog

dave_59 June 12, 2022, 3:47pm 2

In reply to Junior:

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