[sv-bc] Question on library map files

Hello SV-BC,

An interesting situation came up in processing library map files
as specified in P1364-2004 Clause 13.2.1.

The question is what should happen if a wildcard in 'file_path_spec'
matches multiple files?
a. it's an error, only one file should match
b. each file should be included, if so, what order?
   What if the wildcard matches the file containing the include
statement?

The last statement in b) probably needs more explanation. If there are
two
files lib.map and lib1.map in the same directory and I compile
specifying
-libmap lib.map and lib.map contains the statement include *.map, what
happens?
This scenario actually came up in an industry Verilog test suite.

Our preference is for option a.  It's simpler for users to reason about,
and the implementation is simpler, too.

Comments?

Once a consensus forms, I can enter a Mantis with a proposal.

Thanks and regards,
Doug

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.