RE: [sv-ac] Question about sampling of automatic variables

The LRM explicitly states in section 17.16:

 

When executed, the expect statement starts a single thread of evaluation
for the given property on 

the subsequent clocking event, that is, the first evaluation shall take
place on the next clocking event.

 

I conclude from that statement that the value is sampled at the
pre-poned region of the next event.

 

The only issue I believe is how to deal with the special sampled
functions like $rose and $fell. Should 

they behave as they do when called at the start of simulation --- hence
compare the sampled value of 

the expression with X ---- or as Ed suggests to compare the sampled
value of the expression to the

current value (current meaning at the time the statement is executed).

I believe the second meaning may be more intuitive.

 

            Arturo

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Tuesday, February 07, 2006 12:28 PM
To: Kulshrestha, Manisha; sv-ac@eda.org
Subject: RE: [sv-ac] Question about sampling of automatic variables

 

My guess would be that they use the current value, like if it were a
local variable of the property.

ed

 

	 

	
________________________________


	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Kulshrestha, Manisha
	Sent: Tuesday, February 07, 2006 1:50 PM
	To: sv-ac@eda.org
	Subject: [sv-ac] Question about sampling of automatic variables

	Hi,

	 

	In section 18.16, in the description of expect statement, the
LRM says that properties can refer to automatic variables of the tasks
in which they are defined. My question is how the sampling works on
these automatic varibales ? Or there is no sampling of these variables
and properties just use the same value which was at the time property
started evaluating ? Or something else ?

	 

	Thanks.

	Manisha