RE: [sv-bc] FW: Can a keyword be used as identifier if context is clear?

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Fri May 12 2006 - 07:25:56 PDT
So why should 1364-2001 be different?

Shalom

> -----Original Message-----
> From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org]
On
> Behalf Of Stuart Sutherland
> Sent: Friday, May 12, 2006 5:16 PM
> To: sv-bc@server.eda.org
> Subject: RE: [sv-bc] FW: Can a keyword be used as identifier if
context
> is clear?
> 
> Brad,
> 
> The 1364-2005 standard already has the following:
> 
> version_specifier ::=
> | 1364-1995
> | 1364-2001
> | 1364-2001-noconfig
> | 1364-2005
> 
> The SV standard adds 1800-2005.  No one suggested an "1800-2005-
> noconfig"
> switch, and I didn't think of it, either, when I wrote the proposal.
In
> my
> opinion, any tool that supports the SV standard should reserve the
> entire SV
> keyword list, with no exceptions.
> 
> ~~~~~~~~~~~~~~~~~~~~~~~~~
> Stuart Sutherland
> stuart@sutherland-hdl.com
> +1-503-692-0898
> 
> 
> > -----Original Message-----
> > From: owner-sv-bc@server.eda.org
> > [mailto:owner-sv-bc@server.eda.org] On Behalf Of Brad Pierce
> > Sent: Thursday, May 11, 2006 10:17 PM
> > To: sv-bc@server.eda.org
> > Subject: Re: [sv-bc] FW: Can a keyword be used as identifier
> > if context is clear?
> >
> > If by default all keywords are illegal in all contexts, then should
> > there also be "1364-2005-noconfig" and "1800-2005-noconfig" version
> > specifiers for the `begin_keywords compiler directive?
> >
> > -- Brad
> >
> > -----Original Message-----
> > From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
> > Bresticker, Shalom
> > Sent: Thursday, May 11, 2006 8:27 PM
> > To: sv-bc@eda.org
> > Subject: [sv-bc] FW: Can a keyword be used as identifier if context
is
> > clear?
> >
> > I forward this from Ben Cohen.
> >
> > As I wrote Ben, I know that in 1364-2001, all keywords were illegal
in
> > all contexts. Was this changed in the last-minute change to
> > configurations in 1364-2005?
> >
> > Shalom
> >
> > -----Original Message-----
> > From: vhdlcohen@aol.com [mailto:vhdlcohen@aol.com]
> > Sent: Thu, 11 May 2006 11:02:23 -0400
> > Subject: [sv-ec]  Can a keyword be used as identifier if context is
> > clear?
> >
> >    I ran into this issue because I used code where the keyword
> > "instance" was used as an identifier, and one tool compiled it,
while
> > another tool rjected it. For example:
> >  function new(string instance, ..);
> >   "instance" is a keyword from IEEE 1364 in configurations. From
LRM,
> > section 13.1:
> >  config cfg1; // specify rtl adder for top.a1, gate-level for top.a2
> >  design rtllib.top;
> >  default liblist rtlLib;
> >  instance top.a2 liblist gateLib;
> >  endconfig
> >   Thus, a compiler can differentiate from the context if
> > "instance" is a
> >
> > keyword or an identifier.
> >   The question then becomes: should a tool blindly disallow
> > the use of
> > keywords as identifiers, or can a tool use a keyword if the
> > context for
> > that keyword is clearly defined?
> >
> >
> > --------------------------------------------------------------
> > ----------
> > -
> >
> >  -
> >  Ben Cohen Trainer, Consultant, Publisher (831) 345-1759
> >  http://www.vhdlcohen.com/ ben_ f rom _abv-sva.org
> >  * Training for VMM, SVA and PSL
> >   * Co-Author: SystemVerilog Assertions Handbook, 2005 ISBN
> > 0-9705394-7-9
> >   * Co-Author: Using PSL/SUGAR for Formal and Dynamic
> > Verification 2nd
> > Edition, 2004, ISBN 0-9705394-6-0
> >   * Real Chip Design and Verification Using Verilog and VHDL,
> > 2002 isbn
> > 0-9705394-2-8
> >  * Component Design by Example ", 2001 isbn 0-9705394-0-1
> >   * VHDL Coding Styles and Methodologies, 2nd Edition, 1999 isbn
> > 0-7923-8474-1
> >   * VHDL Answers to Frequently Asked Questions, 2nd Edition, isbn
> > 0-7923-8115
> >
> > --------------------------------------------------------------
> > ----------
> > -
> >
> >  --------
> >
> >
> >
> >
> >
Received on Fri May 12 07:26:08 2006

This archive was generated by hypermail 2.1.8 : Fri May 12 2006 - 07:26:13 PDT