[wip] vcs/defs: Added options for fsdb

Signed-off-by: Jan Bylicki <[email protected]>

Author: jbylicki

common/providers.bzl

@@ -18,6 +18,7 @@ WaveformInfo = provider(
     doc = "Waveform collected during a simulation run",
     fields = {
         "vcd_files": "VCD waveform files",
+        "fsdb_files": "FSDB waveform files",
         "vpd_files": "VPD waveform files",
     },
 )

vcs/defs.bzl

@@ -143,6 +143,8 @@ def _vcs_binary(ctx):
     command += " -top " + ctx.attr.module_top
     command += " -debug_access -debug_region=cell+encrypt +v2k"
     command += " +vcs+vcdpluson"
+    command += " -kdb"
+
 
     for opt in ctx.attr.opts:
         command += " " + opt
@@ -319,10 +321,23 @@ def _vcs_run(ctx):
         args.append("+vcs+dumpon+0+0")
         args.append("+vcs+dumparrays")
 
-    outputs += trace_vcd + trace_vpd
+    trace_fsdb = []
+    if ctx.attr.trace_fsdb:
+        file = ctx.actions.declare_file("{}.fsdb".format(ctx.label.name))
+        trace_fsdb.append(file)
+        args.append("+fsdb=" + file.path)
+        args.append("+vcs+dumparrays")
+        args.append("+vcs+dumparrays")
+        args.append("-kdb")
+        args.append("-error=noTLVRZ")
+        args.append("-suppress=SVA-UB")
+
+
+    outputs += trace_vcd + trace_vpd + trace_fsdb
     result.append(WaveformInfo(
         vpd_files = depset(trace_vpd),
         vcd_files = depset(trace_vcd),
+        fsdb_files = depset(trace_fsdb),
     ))
 
     # Binary runfiles
@@ -434,6 +449,10 @@ vcs_run = rule(
             doc = "Enable trace output in VCD format",
             default = False,
         ),
+        "trace_fsdb": attr.bool(
+            doc = "Enable trace output in FSDB format",
+            default = False,
+        ),
         "trace_vpd": attr.bool(
             doc = "Enable trace output in VPD format",
             default = False,