Hi,
Since we want to wait for the posedge of A, and simultaneously check if the differential functionality is working,
time time_A, time_B;
fork
begin @(posedge A); time_A == $stime; end
begin @(negedge B); time_B == $stime; end
join
if (time_A != time_B) $error(“…”);
I haven’t tried it out though.
Regards,
Melvin