[sv-ac] Additional feedback on 3213

Hi Dmitry:

I apologize for being slow with this feedback.

In 16.5.1, you say "Here are formal definitions of a sampled value." I would prefer something like, "Below is the formal definition of sampled value."

I believe logic and #1step should be bold.

I would prefer to remove the paragraph "In the LRM several types of sampling...". I don't really believe that the term sampling is used inconsistently. I believe it is an issue with the term sampled value for which we now provide a formal definition. My problem is that we now define sampled value to mean the current value for certain variable types. That obviously isn't a sampled value by the intuitive definition of sampled value. Given this definition of sampled value, you are forced to talk about when you sample the sampled value. Although you have avoiding that phrase by saying thing like a sampled value is "taken" in the Postponed region or a function returns the sampled value from the Postponed region. I would prefer to see you define another term concurrent sampled value or something that doesn't have meaning elsewhere in the LRM. I have obviously been outvoted on that direction, so I will drop this objection.

Thanks,
Scott

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