Re: [sv-ec] Re: [sv-bc] potential command line option

Gord wrote:
>
>How about adding:
>    'configs_with_source
>    'configs_with_source none
>or something similar?
>
>This would restrict the keyword pollution to domains in which
>users may want to have configs and source in the same file.

I was starting to think of something along the same lines, but
building on the `begin_keywords directive already added to P1800
(which is also now proposed for 1364).

We have been considering support for some non-standard arguments
for this directive, to support Verilog-AMS.  This could be a simple
value to indicate Verilog-AMS, such as

  `begin_keywords "Verilog-AMS"
  
Or it could allow independent control of which Verilog base standard
to use along with the extra AMS keywords, such as

  `begin_keywords "1364-1995+ams"
  `begin_keywords "1364-2001+ams"
  `begin_keywords "1364-2005+ams"
  `begin_keywords "1800-2005+ams"

(We felt that using -ams as an extension made it unclear whether that
added or subtracted the AMS keywords.)
  
In a similar style to the latter, you could use

  `begin_keywords "1364-2001+config"
  `begin_keywords "1364-2005+config"
  `begin_keywords "1800-2005+config"

If you wanted to allow the full set of library map file keywords,
+libmap would probably be more appropriate.  I am not clear whether
ModelSim has been allowing the full library map syntax in source files
or just configs.

Note that this does not even require directives to be used in source
files if the files match the default starting keyword set for the tool
(which may be controllable by command line options).

This could be defined as a standardized argument for `begin_keywords,
which could be required or optional for tools to support, or left to
ModelSim to define as a non-standard argument value.  Independent of
this, we would have to define the default keyword set for "1364-2001"
and whether it includes the config keywords (note that this does not
have to match the official interpretation of whether the keywords are
actually reserved in 1364-2001).

I do think that using "+config" to add the keywords is clearer than any
syntax to try to subtract them if they are normally included.  Another
shorter syntax might be "1364-2001c".

Steven Sharp
sharp@cadence.com