RE: [sv-ec] rand_mode called on a handle

That is a general rule, but the sentence I quoted comes after and makes an exception.

Shalom

From: Daniel Mlynek [mailto:danielm@aldec.com.pl]
Sent: Friday, December 17, 2010 11:15 AM
To: Bresticker, Shalom
Cc: Daniel Mlynek; sv-ec@eda.org; grzegorz.kunc@aldec.com.pl
Subject: Re: [sv-ec] rand_mode called on a handle

Yes buy this is also written:

"The random_variable is the name of the random variable to which the operation is applied. If it is not specified(only allowed when called as a task), the action is applied to all random variables within the specified
object."

On 12/17/2010 10:02 AM, Bresticker, Shalom wrote:
I don't think so.
The text I quoted says that calling rand_mode on an object handle affects the mode of the handle, not the mode of the members of the class pointed to.

It is true that 18.4 says,
- An object handle can be declared rand, in which case all of that object's variables and constraints are solved concurrently with the variables and constraints of the object that contains the handle. Randomization shall not modify the actual object handle."

But that is not the same as your statement.

Regards,
Shalom

if its called on non random variable (of type object , unpacked struct) then it should turn off/on rand mode of all its members

On 12/17/2010 9:34 AM, Bresticker, Shalom wrote:
18.8 says,

"If the random variable is an object handle, only the mode of the variable is changed, not the mode of random variables within that object (see global constraints in 18.5.8)."

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.