Search for 'verilog-library-files' relative to the current TRAMP path.

verilog-mode.diff

9560c9560,9569
< 	  verilog-library-files))	; finally, any libraries
---
>           verilog-library-files         ; finally, any libraries
>           (let ((tramp-host             ; also relative to current TRAMP path
>                  (ignore-errors
>                    (tramp-file-name-host
>                     (tramp-dissect-file-name buffer-file-name)))))
>             (if tramp-host
>                 (mapcar (lambda (fname)
>                           (format "/scpc:%s:%s" tramp-host
>                                   fname))
>                         verilog-library-files)))))