Bug in file_path_spec: libraries

From: Jayaram Bhasker (jbhasker@cadence.com)
Date: Fri May 03 2002 - 10:54:04 PDT


Precedence: bulk

It is not clear whether file_path_spec needs to be specified with double quotes
or not.

Pg 201 shows:

library rtlLib *.v; // No double quotes.

Pg 210 shows:

library lib1 "/proj/foo.v"; // has double quotes.

I suspect that having double quotes is the right style - so that it is consistent
with the way files are specified in other parts of the verilog standard, such as
in the include directive.

- bhasker



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:55:36 PDT and
sponsored by Boyd Technology, Inc.