verilog-library-filenames

verilog-library-filenames is a compiled Lisp function in `verilog-mode.el'.

(verilog-library-filenames FILENAME &optional CURRENT CHECK-EXT)

Return a search path to find the given FILENAME or module name.
Uses the optional CURRENT filename or variable `buffer-file-name', plus
`verilog-library-directories' and `verilog-library-extensions'
variables to build the path. With optional CHECK-EXT also check
`verilog-library-extensions'.