[sv-ac] RE: Mantis 3213: Update definition of sampled value - New version uploaded

Hi Erik,

The problem is that using the proposed terminology all sampled value functions except for $sampled are not sampled value functions anymore. Let's discuss this at today's meeting.

Thanks,
Dmitry

From: Seligman, Erik
Sent: Monday, March 21, 2011 17:27
To: Korchemny, Dmitry; 'sv-ac@eda-stds.org'
Subject: RE: Mantis 3213: Update definition of sampled value - New version uploaded

Dmitry-I like the idea of proposing the new $concurrent function to clarify things. But I think including this in the general category of "sampled value functions" might create some confusion, since the point of $concurrent is that it is not always returning the sampled value. Can we come up with a new term to refer to the family of functions currently called "sampled value functions"?

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Sunday, March 20, 2011 5:26 AM
To: 'sv-ac@eda-stds.org'
Subject: [sv-ac] Mantis 3213: Update definition of sampled value - New version uploaded

Hi all,

I uploaded the new version of Mantis 3213 where all sampling rules are collected together: http://www.eda-stds.org/mantis/file_download.php?file_id=4849&type=bug

Thanks,
Dmitry
---------------------------------------------------------------------
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<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
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.