Allow specifying top-level module for Verilator lint rule

Internal-tag: [#69104]
Signed-off-by: Maciej Kurc <[email protected]>

verilator/defs.bzl

@@ -538,6 +538,7 @@ def _verilator_lint(ctx):
     vopts = [
         "--lint-only",
     ]
+    vopts.extend(["--top-module", ctx.attr.module_top])
     args, vlog_srcs, vlog_hdrs, _ = _verilator_args(ctx, srcs, vopts)
 
     # Capture stderr to the log file
@@ -571,6 +572,10 @@ verilator_lint = rule(
             providers = [VerilogInfo],
             mandatory = True,
         ),
+        "module_top": attr.string(
+            doc = "The name of the verilog module to verilate.",
+            mandatory = True,
+        ),
         "vopts": attr.string_list(
             doc = "Additional command line options to pass to Verilator",
             default = ["-Wall"],

verilator/tests/BUILD

@@ -175,6 +175,7 @@ verilator_run(
 verilator_lint(
     name = "nested_module_2_verilator_lint",
     module = ":nested_module_2",
+    module_top = "nested_module_2",
     vopts = [
         "-Wall",
         "-Wno-fatal",