Support additional "analyze -vcs" VCS options for VC Static

Signed-off-by: Maciej Kurc <[email protected]>

Author: mkurc-ant

vc_static/default.tcl

@@ -45,7 +45,7 @@ foreach waiver $waiver_list {
 }
 
 # Check the design
-analyze -format sverilog -vcs "$sources -sverilog"
+analyze -format sverilog -vcs "$sources -sverilog $vcs_opts"
 elaborate $top_module
 check_lint
 

vc_static/defs.bzl

@@ -77,6 +77,7 @@ def _vc_static_lint(ctx):
         "report_file": report_file.path,
         "sources": [f.path for f in all_srcs],
         "top_module": ctx.attr.module_top,
+        "vcs_opts": ctx.attr.vcs_opts,
         "waiver_files": [f.path for f in ctx.files.waiver_files],
     }
 
@@ -175,6 +176,9 @@ vc_static_lint = rule(
             mandatory = True,
             allow_single_file = [".sh"],
         ),
+        "vcs_opts": attr.string(
+            doc = "Additional option to pass to vc-static 'analyze -vcs' command.",
+        ),
         "waiver_files": attr.label_list(
             doc = "Waiver files",
             allow_files = True,