Re: [sv-ac] example in expect statement

From: Surya Pratik Saha <spsaha_at_.....>
Date: Wed Oct 18 2006 - 23:07:56 PDT

Hi Ed,
So can an immediate assert or concurrent assert have expect assert in their action block? I did not see any restriction in LRM though Synopsys VCS is giving error, considering expect assert as concurrent assertion statement.
Consider the e.g.
assert (i) expect (prop) $display(...);
Is the above statement wrong? I did not see any problem there, though VCS is failing.
Same for:
assert property (prop) expect (prop)

Though other restriction of concurrent assert is not applied on expect, as you mentioned the delay can be there before expect assert.

Regards
Surya.

Eduard Cerny wrote:

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

    

Received on Wed Oct 18 23:07:51 2006