[sv-ac] RE: Ballot issue resolution

Hi Neil,

All the appropriate Mantis items have been moved to Resolved status. Here is the list:

2478    Clock flow subclause is not consistent with multiclocked property definition
2496    non_port_program_item should contain assertion_item
2516    Another contradiction of existing text with 2398 needs to be fixed
2541    syntax errors - missing parenthesis
2562    rand qualifier for checker variables is not reflected in BNF
2612    `true should have a backtick in a sequence example
2646    Assumption in deferred assertion example should be made explicit
2647    Clarification about clock glitches in concurrent assertions
2648    Need an example of cyclic dependencies between sequences
2649    sequence_actual_arg is used to represent the default argument
2650    Ambiguity in a sequence repetition [*0] definition
2652    Future value functions need clarification
2653    Sequence match not shown in timing diagram
2654    Error in an example of throughout operator
2655    Backward compatibility issue with the clocking specification
2656    Clarify difference of $global_clock handling in simulation and formal verification
2657    Clarify notion of sequence
2658    Default values for untyped formals
2659    Backward compatibility issue with sequence property
2660    Add indices to expressions
2661    "Syntax 16-19" is in blue.
2717    Ballot comment #81 Clarification needed for the usage of severity tasks.

Regards,
Dmitry


-----Original Message-----
From: Neil.Korpusik@Sun.COM [mailto:Neil.Korpusik@Sun.COM]
Sent: Monday, May 04, 2009 11:47 PM
To: Korchemny, Dmitry
Cc: Karen Pieper; sv-ac@eda.org
Subject: Re: Ballot issue resolution

Hi Dmitry,

That sounds good.

Do you have a list of the mantis items that go along with the set
of ballot items that were assigned to the sv-ac? The Champions
will need to review all of the mantis items. All of these
mantis items should be moved to the resolved state. Mantis
items aren't ready for the Champions review until they make it
to the resolved state.


Neil



On 05/04/09 11:38, Korchemny, Dmitry wrote:
> Hi Neil,
>
>
>
> This is to inform you that SV-AC has addressed all ballot issues, and
> does not request any time extension.
>
>
>
> Regards,
>
> 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.
---------------------------------------------------------------------
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.