Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-03-11T19:13:57Z

This isn't a sufficient fix, because for example section__5F, which is a legal identifier will be mishandled and reported as section___, and worse anything in DOT or other special stuff will be very wrong; all the internals assume all double underscores are made safe for internal use even not at the beginning. Sorry.

You should be able to make all verilator-internal __ into ___, but there's probably a lot.

Original Redmine Comment
Author Name: Jason McMullan (@ezrec)
Original Date: 2013-03-11T19:19:13Z

Agreed on all counts, I just thought it was strange that verilator would insist on a filename that didn't match the model name.

Would a better solution be to demangle the verilator name when doing the path search?

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-03-11T19:23:48Z

Wait, what?

No you should never see a _5F needed anywhere but in the C structure and class names. So if you create a model the output .c file will have a _5F, but nothing in Verilog never should; if that's not the case please describe what is needing it.

Original Redmine Comment
Author Name: Jason McMullan (@ezrec)
Original Date: 2013-03-12T01:59:59Z

Simple example where verilator fails to find a module with double underscores in the -y search path:

find__me.v

module find__me; endmodule

testcase.v

module testcase;
find__me found;
endmodule

 $ verilator --lint-only testcase.v -y .
%Error: testcase.v:4: Cannot find file containing module: find___05Fme
%Error: testcase.v:4: Looked in:
%Error: testcase.v:4:       find___05Fme
%Error: testcase.v:4:       find___05Fme.v
%Error: testcase.v:4:       find___05Fme.sv
%Error: testcase.v:4:       obj_dir/find___05Fme
%Error: testcase.v:4:       obj_dir/find___05Fme.v
%Error: testcase.v:4:       obj_dir/find___05Fme.sv
%Error: Exiting due to 8 error(s)
%Error: Command Failed /usr/bin/verilator_bin --lint-only testcase.v -y .

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-03-12T11:29:14Z

Surprised no one noticed that until now. Fixed along with a bunch of warnings that also mis-used the __5F.

Fixed in git towards 3.847.

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-05-11T20:17:20Z

In 3.847.

Original Redmine Comment
Author Name: Jason McMullan (@ezrec)
Original Date: 2013-03-11T19:19:13Z

Agreed on all counts, I just thought it was strange that verilator would insist on a filename that didn't match the model name.

Would a better solution be to demangle the verilator name when doing the path search?

I'm also curious why file name should match module name in order to make directory searching work.