VERIFICATION NON BLOCKING wait - order question

[arpkum]

Initial
wait_order (a,b,c);

Which from below initial process will cause that below wait order will pass.

a)
initial begin
#1;
q->a;
q->b;
q->c;
end

b)
initial begin
o#1;
->a;
end
always@a ->b;
always@b -> c;

c)
initial begin
#1;
->a;
#0 ->b;
->>c;
end

d)
initial begin
#1 ->a;
#1 ->b;
#1 ->c;
end

 

[dave_59]

c) and d) are both guaranteed to pass because each event executes in a separate active queue. a) and b) are both race conditions because all three events are generated in the same active queue. There's no guaranteed ordering how those events will show up in the separate thread containing wait_order statement. However, I'm guessing most implementations will probably fail with a) and pass with b)