[sv-ec] wait_order

After reading LRM "14.6. Event sequencing: wait_order()." I'm not sure if
events listed in wait_order should be triggered in different time slots,
different slot regions, or it is enough to trigger them in single region in
propoer order to unblock wait_order stmt? Below I'm attaching an example
describing my doubts. Any answers will be appreciated.
 
Asume wait order like in below code:
    initial wait_order (a,b,c);
 
Which from below initial process will cause that above wait order will pass.
a)
    initial begin
    #1;
     ->a;
     ->b;
     ->c;
    end
b)
    initial begin
    #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
 
 
Daniel Mlynek
 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.