VERIFICATION NON BLOCKING wait - order question

Status
Not open for further replies.

arpkum

Newbie level 5
Joined
Mar 9, 2012
Messages
8
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Location
Bangalore
Visit site
Activity points
1,334
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
 

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)
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…