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

But the variable may not yet have any value in the proponed region at
that time...?
ed


________________________________

	From: Arturo Salz 
	Sent: Tuesday, February 07, 2006 4:35 PM
	To: Eduard Cerny; Kulshrestha, Manisha; sv-ac@eda.org
	Subject: 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