BTF - BE31 - net_decl_assignment is missing

From: Anders Nordstrom (andersn@bcarsb82)
Date: Fri Aug 22 1997 - 08:54:56 PDT


Subject: BTF - BE31 - net_decl_assignment is missing

Behavioral Task Force - Errata Submission

Assigned Enhancement Request Number: BE31
Errata Name (Description): net_decl_assignment is missing
Section: 3.2.1
Date Submitted: 970701
Requestor: Paul Graham

Status: Submitted (priority not yet assigned)

Errors found in the Verilog LRM (IEEE 1364-1995).

Details:
        The syntax for net_declaration is

    net_declaration ::= ...
        | net_type [vectored|scalared] [drive_strengh] [range] [delay3]
                list_of_net_decl_assignments ;

In section 6.1 the syntax for net_declaration is duplicated, except that the
last line reads:

        | net_type [vectored|scalared] [drive_strengh] [range] [delay3]
                list_of_net_assignments ;

That is, list_of_net_decl_assignments became list_of_net_assignments. Using
Annex A as the referee, I conclude that the definition in 3.2.1 is correct
and that in 6.1 is incorrect.

There also is no definition of net_decl_assignment in the text, only in
Annex A. I suspect that the definition of net_decl_assignment was truncated
from the syntax box in 3.2.1.

+-----------------------------------------------------------------------+
| Anders Nordstrom |
| Senior ASIC Designer |
| Northern Telecom Ltd. Email: andersn@nortel.ca |
| P.O. Box 3511 Station C Phone: 613-763-9186 |
| Ottawa, Ontario K1Y 4H7 Fax: 613-763-2626 |
+-----------------------------------------------------------------------+



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:41 PDT and
sponsored by Boyd Technology, Inc.