Assertion to find the difference between two clocks

[dave_59]

@Thirumalesh

$realtime-first_change==clk2;

The code you provided will always result in $realtime-first_change being 5 and clk2 being either 0 or 1. Consequently, the assertion will always fail.

Check if the two clocks have the same phase

Hi sir, I want to seek help on checking whether two clocks are in the same phase using SVA