[sv-ac] example in expect statement

From: Soumya Jyoti Wadader <soumya_at_.....>
Date: Tue Oct 17 2006 - 05:34:23 PDT
Hallo,
  In 1800 LRM sec: 17.16 one example is given as :

program tst;
initial
begin
 # 200ms;
 expect( @(posedge clk) a ##1 b ##1 c ) else $error( "expect failed" );
ABC: ...
end
endprogram

Is this example is correct? My doubt is "concurrent assertion can not be 
specified after a timing control statement." so expect statement can not 
be declare after '#200 ms", am I correct?
Thanks & Regards
Soumya
Received on Tue Oct 17 05:57:09 2006

This archive was generated by hypermail 2.1.8 : Tue Oct 17 2006 - 05:57:19 PDT