RE: [sv-ac] example in expect statement

Concurrent assertion (assert cover assume) cannot, but expect is a
different animal. :-)
ed
 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Soumya Jyoti Wadader
> Sent: Tuesday, October 17, 2006 8:34 AM
> To: sv-ac@eda.org
> Subject: [sv-ac] example in expect statement
> 
> 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
>