verilog-library-files

verilog-library-files is a variable defined in `verilog-mode.el'.
Its value is

nil

• This variable is safe as a file local variable if its value
  satisfies the predicate `listp'.

Documentation:
List of files to search for modules.
AUTOINST will use this when it needs to resolve a module name.
This is a complete path, usually to a technology file with many standard
cells defined in it.

You might want these defined in each file; put at the *END* of your file
something like:

// Local Variables:
// verilog-library-files:("/some/path/technology.v" "/some/path/tech2.v")
// End:

Verilog-mode attempts to detect changes to this local variable, but they
are only insured to be correct when the file is first visited. Thus if you
have problems, use C-x C-v RET to have these take effect.

See also `verilog-library-flags', `verilog-library-directories'.

You can customize this variable.