ISSUE 205

Number 205
Category errata
Synopsis 2.8, 3.12: Attribute names can/cannot be redefined
State lrmdraft
Class errata-discuss
Arrival-DateNov 21 2002
Originator Michael McNamara <mac@verisity.com>
Release 2001b: 2.8, 3.12
Environment
Description

Sounds like an errata; please send these to etf-bugs@boyd.com

Brad Pierce writes:
> Peter,
>
> In Verilog 2001, one of the 5 local namespaces is for attributes.
> See section 3.12 of the LRM. According to this section "Once a
> name is defined within one of the five names spaces, it shall not
> be defined again in that space (with the same or a different type)."
>
> This contrasts, however, with section 2.8 of the same LRM, which
> states that an attribute can be "defined more than once for the
> same language element" and "the last attribute value shall be used
> and a tool can give a warning that a duplicate attribute specification
> has occurred".
>
> -- Brad
>
>
>
>
>
>
Fix
In the third paragraph of section 3.12:

REPLACE

"Once a name is defined within one of the five name spaces,
it shall not"

WITH

"Once a name is defined within the block,
module, port, or specify block name
spaces, it shall not"


Add the following sentence to the end of that same paragraph:

"As described in 2.8, it is legal to redefine names within
the attribute name space."

(Of course, use a reference for the reference to 2.8 in the
above sentence)
Audit-Trail

From: "James A. Markevitch" <jam@magic.com>
To: etf-bugs@boyd.com
Cc:
Subject: errata/205: PROPOSAL: 2.8, 3.12: Attribute names can/cannot be redefined
Date: Mon, 30 Jun 2003 08:08:57 -0700 (PDT)

In the third paragraph of section 3.12:
REPLACE

"Once a name is defined within one of the five name spaces, it
shall not"

WITH

"Once a name is defined within the block, module,
port, or specify block name spaces, it shall not"

Add the following sentence to the end of that same paragraph:

"As described in 2.8, it is legal to redefine names within the
attribute name space."

(of course, use a reference for the reference to 2.8 in the above sentence)

James Markevitch
Unformatted


Hosted by Boyd Technology