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 SoumyaReceived 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