verilator · wsnyder · Mar 7, 2025 · Jan 28, 2025 · Jan 28, 2025 · Feb 7, 2025
diff --git a/bin/verilator b/bin/verilator
@@ -480,6 +480,7 @@ detailed descriptions of these arguments.
     --trace-max-array <depth>   Maximum array depth for tracing
     --trace-max-width <width>   Maximum bit width for tracing
     --trace-params              Enable tracing of parameters
+    --trace-saif                Enable SAIF file creation
     --trace-structs             Enable tracing structure names
     --trace-threads <threads>   Enable FST waveform creation on separate threads
     --no-trace-top              Do not emit traces for signals in the top module generated by verilator

diff --git a/ci/ci-script.bash b/ci/ci-script.bash
@@ -98,6 +98,8 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then
      export VERILATOR_ROOT="$RELOC_DIR/relocated-install/share/verilator"
      TEST_REGRESS="$RELOC_DIR/test_regress"
      mv test_regress "$TEST_REGRESS"
+     NODIST="$RELOC_DIR/nodist"
+     mv nodist "$NODIST"
      # Feeling brave?
      find . -delete
      ls -la .

diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
@@ -148,6 +148,7 @@ Marlon James
 Marshal Qiao
 Martin Schmidt
 Martin Stadler
+Mateusz Gancarz
 Matthew Ballance
 Michael Bikovitsky
 Michael Killough

diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst
@@ -1626,6 +1626,11 @@ Summary:
 
    Disable tracing of parameters.
 
+.. option:: --trace-saif
+
+   Enable SAIF tracing in the model. This overrides :vlopt:`--trace`.
+   Specification of this format can be found in `IEEE 1801-2018<https://ieeexplore.ieee.org/document/8686430>`_ (see Annex I).
+
 .. option:: --trace-structs
 
    Enable tracing to show the name of packed structure, union, and packed

diff --git a/docs/guide/verilating.rst b/docs/guide/verilating.rst
@@ -462,6 +462,11 @@ SystemC include directories and link to the SystemC libraries.
    Optional. Enables FST tracing if present, equivalent to "VERILATOR_ARGS
    --trace-fst".
 
+.. describe:: TRACE_SAIF
+
+   Optional. Enables SAIF tracing if present, equivalent to "VERILATOR_ARGS
+   --trace-saif".
+
 .. describe:: VERILATOR_ARGS
 
    Optional. Extra arguments to Verilator. Do not specify :vlopt:`--Mdir`

diff --git a/include/verilated.mk.in b/include/verilated.mk.in
@@ -90,6 +90,7 @@ VK_CPPFLAGS_ALWAYS += \
 		-DVM_TRACE=$(VM_TRACE) \
 		-DVM_TRACE_FST=$(VM_TRACE_FST) \
 		-DVM_TRACE_VCD=$(VM_TRACE_VCD) \
+		-DVM_TRACE_SAIF=$(VM_TRACE_SAIF) \
 		$(CFG_CXXFLAGS_NO_UNUSED) \
 
 ifeq ($(CFG_WITH_CCWARN),yes)  # Local... Else don't burden users