[sv-cc] Review of draft 4 - Person E

Subject: [sv-cc] Review of draft 4 - Person E
From: Michael Rohleder (michael.rohleder@motorola.com)
Date: Thu Feb 12 2004 - 09:52:02 PST

Hi all,

Here are the - rather meager - results of reviewing my part (E) of the SV draft 4.
Only three _possible_ problems, and none related to SV-CC, baahh. Stu and all
others involved have done a too good job ...

I still have some headaches when I think about
 * usage of 'import' to reference data in packages (18.2.1), and possible collisions
    with the SV-CC syntax for DPI imports, but the syntax is rather different and
    I can see no possible confusion or syntax flaws between both usages. Lucky us.
 * disable statements called by a task exported from an interface (19.6.3 & 19.6.4);
    eventually even in case of a multiple task export, but I also believe Doug brought
    us rather straight here...
At least was not able to find an obvious problem. Everybody else feel free to give this
a second look and be more intellegent here than me ...

The only work remaining for me is the review of the coverage stuff as requested by
Bassam. I'll do this this night. Below you'll find my minor notes to the rest ...

Best regards,
-Michael

All notes are with respect to SV 3.1a draft 4

Section 18:
* page 271, BNF part for 18.8 Port declarations
   the definition of inout_declaration does not match the one in the Annex
   (variable related stuff has been removed according to LRM 31)

* page 272, comment in example at top of page
   this seems to define that when the direction is omitted inout should be assumed
   (I have never seen this, and I don't know whether this is permitted by 1364
    -- at least I was not able to find sthg related to this in the standard).
   However, according to the BNF the direction keyword inout can NOT
   be omitted. I think it would be good to clarify this ...

Section 25:
* I believe the example at top of page 346 is misformed (what's the intention of the
   parameter 'filename'? I believe the myfile in the 'define of home should be replaced
   by filename 

--

NOTE: The content of this message may contain personal views
      which are not neccessarily the views of Motorola, unless specifically stated.

         ___________________________________________________
        |                                                   |
      _ | Michael Rohleder            Tel: +49-89-92103-259 | _
     / )| Software Technologist       Fax: +49-89-92103-680 |( \
    / / | Motorola, Semiconductor Products, System Design   | \ \
  _( (_ |  _   Schatzbogen 7, D-81829 Munich, Germany    _  | _) )_
 (((\ \>|_/ >                                           < \_|</ /)))
 (\\\\ \_/ /    mailto:Michael.Rohleder@motorola.com     \ \_/ ////)
  \       /_______________________________________________\       /
   \    _/                                                 \_    /
   /   /                                                     \   \

The information contained in this email has been classified as:
Motorola General Business Information (x)
Motorola Internal Use Only            ( )
Motorola Confidential Proprietary     ( )

*** This note may contain Motorola Confidential Proprietary or
    Motorola Internal Use Only Information and is intended to be
    reviewed by only the individual or organization named above.
    If you are not the intended recipient or an authorized representative
    of the intended recipient, you are hereby notified that any review,
    dissemination or copying of this email and its attachments, if any,
    or the information contained herein is prohibited. If you have received
    this email in error, please immediately notify the sender by
    return email and delete this email from your system.
    Thank you! ***

This archive was generated by hypermail 2b28 : Thu Feb 12 2004 - 09:56:18 PST