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

Hi Dimitry,
 
Why do we need $sampled and $concurrent separately ? Can't we just
define the $sampled such that it does all the things that $concurrent
does ? In fact, whatever you are proposing for $concurrent, should
already be working for $sampled (although LRM never described it that
way). I do not understand the motivation for keeping two separate tasks.
 
Thanks.
Manisha

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, March 22, 2011 11:42 AM
To: Seligman, Erik; 'sv-ac@eda-stds.org'
Subject: [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 <http://www.mailscanner.info/> , and is
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.