From: Anders Nordstrom (andersn@bcarsb82)
Date: Fri Aug 22 1997 - 08:54:56 PDT
Subject: BTF - BE30 - Misuse of "shall" with trireg_declaration
Behavioral Task Force - Errata Submission
Assigned Enhancement Request Number: BE30
Errata Name (Description): Misuse of "shall" with
trireg_declaration
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 a trireg declaration is
net_declaration ::=
...
| trireg [vectored|scalared] [charge_strengh] [range]
[delay3] list_of_net_identifiers ;
So the syntax states that charge strength is optional in a trireg declaration.
But in section 3.4 there appears the rule
charge strength Shall be used when declaring a net of type trireg
Since the verb "shall" denotes a mandatory requirement, this means that
charge strength is *not* optional in a trireg declaration. Which is it,
optional or not optional? Perhaps you should say:
charge strength May be used only when declaring a net of type trireg
+-----------------------------------------------------------------------+
| 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.