Re: [sv-ac] Errata list

Hi Dmitry,

Here is my list of items:

Tom

2367:
        Effort: Low: The fix, if any would probably be just the
                addition of a sentence like this one: "The values
                returned by sampled value functions are not affected
                by any disable iff condition in the property where
                the sampled value function appears."
        Importance: Unessential: The descriptions of sampled value
                functions are pretty specific. There is nothing in
                the text that would give the impression that a disable
                iff would reset the sampled value functions.

2552:
        Effort: Low: The four paragraphs could be re-arranged.
        Importance: Unessential: I am not sure what is confusing
                about the way these paragraphs are written.

2752:
        Effort: Medium: Not sure what is being asked for. We could
                take out references to "Block" or clarify what kind
                of block.
        Importance: Nice:

2571:
        Effort: Low: Assuming we take the suggested re-wording, this
                would be a one-sentence change.
        Importance: Nice:

2722:
        Effort: Medium: Will involve re-drawing the figures, since the
                original source has been lost. But the edits should be
                non-controversial
        Importance: Important: A potential for confusion, since the
                diagrams appear to contradict the use of sampled values
                in assertions.

2546:
        Effort: Medium: Would need to come up with a definition of
                vacuous success.
        Importance: Important

2386:
        Effort: Low-Medium: The first change has already been done:
                Sec 16.10 is now called "Local variables".
                The second change would be to put in a reference to 16.10,
                or to move section 16.8.2 to someplace in 16.10.
        Importance: Nice

On 04/13/10 14:01, Korchemny, Dmitry wrote:
> Hi all,
>
>
>
> I am attaching the Excel sheet with the list of SV-AC errata and
> clarification items along with the reviewer assigned. Please, send me
> the effort estimation for the items assigned to you. The marks should
> be trivial, low, medium or high.
>
>
>
> · Trivial: less than one hour work and ability to conduct a
> voice vote without previous study of the issue.
>
> · Low: one day work and one week or less to study issue before
> voting.
>
> · Medium: one week work and one week or less to study before voting.
>
> · High: otherwise.
>
>
>
> The estimation should be done in terms of the net work. E.g., one week
> work means that resolving the issue is the only work done by the person
> during one week.
>
>
>
> Feel also free to provide importance estimation for any items. The marks
> should be:
>
> · Must: major errors and contradictions, regardless whether you
> are personally interested to have it fixed.
>
> · Important: issues that you strongly want to have resolved,
> but that are not contradictions, and leaving them unresolved may be
> acceptable for many users.
>
> · Nice to resolve: need to resolve if time permits.
>
> · Unessential: may remain resolved.
>
> · Drop.
>
>
>
> Please, send your estimation by 2010-04-22.
>
>
>
> 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.

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