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

Hi Dmitry:

My understanding from the F2F was that we agreed to collect all of the sampling rules in a single section that could be referenced every time something regarding sampling was needed. This proposal does more than that and suffers from many of the drawbacks discussed at the F2F.

Thanks,
Scott

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Tuesday, March 22, 2011 2:04 AM
To: Kulshrestha, Manisha; Seligman, Erik; sv-ac@eda-stds.org
Subject: RE: [sv-ac] RE: Mantis 3213: Update definition of sampled value - New version uploaded

Hi Manisha,

This was my original proposal, but it was rejected at the F2F, to keep definition of sampling clear.

Thanks,
Dmitry

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Tuesday, March 22, 2011 08:50
To: Korchemny, Dmitry; Seligman, Erik; sv-ac@eda-stds.org
Subject: 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.
---------------------------------------------------------------------
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.