RE: [sv-ac] Draft P1800/D9-preliminary review

Thanks,
Dmitry

-----Original Message-----
From: Stuart Sutherland [mailto:stuart@sutherland-hdl.com]
Sent: Monday, July 13, 2009 10:43 PM
To: Korchemny, Dmitry
Cc: sv-ac@eda.org; john.havlicek@freescale.com; 'Neil.Korpusik@Sun.COM'
Subject: RE: [sv-ac] Draft P1800/D9-preliminary review

Yes, I will fix the font (italicize t) as an editorial correction in the
final version of Draft 9

Stu
~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
(503) 692-0898

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Korchemny, Dmitry
> Sent: Sunday, July 12, 2009 1:52 AM
> To: Stuart Sutherland
> Cc: sv-ac@eda.org; john.havlicek@freescale.com; Neil.Korpusik@Sun.COM
> Subject: RE: [sv-ac] Draft P1800/D9-preliminary review
>
> Hi Stu,
>
> Could you, please, fix the font problem John found? In Draft9/2 it should
be
> page 1126.
>
> Thanks,
> Dmitry
>
> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com]
> Sent: Saturday, July 11, 2009 8:53 PM
> To: Korchemny, Dmitry
> Cc: sv-ac@eda.org
> Subject: Re: [sv-ac] Draft P1800/D9-preliminary review
>
> Hi Dmitry:
>
> I checked the implementation of 2486 carefully, and it is fine.
>
> I look very quickly over Annex F and noticed only the following:
>
> p. 1107: in flatten_property(p), item 6), next to last sentence.  The font
of
> "t" in
>    "t f = a_f" should be italic.
>
>
> J.H.
>
> > Hi all,
> >
> > It is time to review Draft P1800/D9.
> >
> > Each SV-AC member is requested to review the implementation of Mantis
> items=
> >  assigned to him/her, and in addition the assigned fragment of the LRM.
> The=
> >  review is due by 07/10/2009. Please, send a notification when you are
> done=
> > , with the list of issues found or with the indication that the
> implementat=
> > ion is correct. If you find an issue with Mantis implementation, please,
> ad=
> > d a corresponding note to the Mantis with the indication of the actions
> req=
> > uired from the editor, and move the Mantis to the Editor status. If no
> issu=
> > es have been found, keep the Mantis unchanged.
> >
> > Mantis list:
> > 2661 "Syntax 16-19" is in blue
> =
> >
> Dmi=
> > try Korchemny
> > 2660 Add indices to expressions
> =
> >                                                    Doron Bustan
> > 2659 Backward compatibility issue with sequence property
> =
> >                                        Doron Bustan
> > 2658       Default values for untyped formals
> =
> >                                                            Dmitry
Korchemny
> > 2656 Clarify difference of $global_clock handling in simulation and
formal
> =
> > verification Tom Thatcher
> > 2652 Future value functions need clarification
> =
> >                                        Erik_Seligman
> > 2650 Ambiguity in a sequence repetition [*0] definition
> =
> >                              Erik_Seligman
> > 2612       `true should have a backtick in a sequence example
> =
> >                                           Dmitry Korchemny
> > 2541 syntax errors - missing parenthesis
> =
> >                                                             Lisa Piper
> > 2516 Another contradiction of existing text with 2398 needs to be fixed
> =
> >                              Erik_Seligman
> > 2486 Scope of Annex F definition of "specify" is not clear.
> =
> >                                              john_havlicek
> > 2478       Clock flow subclause is not consistent with multiclocked
> propert=
> > y definition      Dmitry Korchemny
> >
> > Fragments:
> > Clause 3 (relevant parts) - Tapan
> > Clause 15 (relevant parts) - Manisha
> > Clause 16
> > Beginning - 16.8 (including) Ed
> >                 16.9 Ben
> >                 16.10 - 16.12 (including), 16.17 - Manisha
> >                 16.13 - Doron
> >                 16.14 - Lisa
> >                 16.15 - Tom
> >                 16.16 - 16.18 (including)  Dmitry
> > Clause 17 - Erik
> > Clause 20 (relevant parts) - Manisha
> > Clause 37 (relevant parts) - Bassam
> > Clause 39 - Bassam
> > Annex A - Tapan
> > Annex B - Tapan
> > Annex C - Tapan
> > Annex F - John
> > Annex N - Lisa
> >
> > Please, notify me if you are unable to review the assigned
> fragments/Mantis=
> >  items.
> >
> > 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, 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, and is
believed to be clean.