RE: [sv-ac] example in expect statement

This raises a more general question; can an action block of a concurrent
assertion contain any blocking statement? It is explicitly allowed for
immediate assertions, but no mention on concurrent assertions.

 

Dave

 

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Surya Pratik Saha
Sent: Wednesday, October 18, 2006 11:08 PM
To: Eduard Cerny
Cc: Soumya Jyoti Wadader; sv-ac@server.eda.org
Subject: Re: [sv-ac] example in expect statement

 

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