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.



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