Re: [sv-bc] Proposal for SV-BC-34A Namespaces


Subject: Re: [sv-bc] Proposal for SV-BC-34A Namespaces
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Feb 10 2003 - 08:14:36 PST


Good morning Dave;

> 5. The /attribute name space/ is enclosed by the (* and *) constructs
> attached to a language element (see 2.8). An attribute name can be
> defined and used only in the attribute name space. Any other type
> of name cannot be defined in this name space.

What is the last sentence for? The other spaces do not have a specification like
this. The meaning is not clear.

    THanks.

    Adam Krolnik
    Verification Mgr.
    LSI Logic Corp.
    Plano TX. 75074



This archive was generated by hypermail 2b28 : Mon Feb 10 2003 - 08:15:08 PST