diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst
index b128b2544..900796fa1 100644
--- a/docs/guide/exe_verilator.rst
+++ b/docs/guide/exe_verilator.rst
@@ -1610,6 +1610,10 @@ Summary:
    Enable FST waveform tracing in the model. This overrides
    :vlopt:`--trace`.  See also :vlopt:`--trace-threads` option.
 
+.. option:: --trace-saif
+
+   Enable SAIF tracing in the model. This overrides :vlopt:`--trace`.
+
 .. option:: --trace-max-array <depth>
 
    Rarely needed.  Specify the maximum array depth of a signal that may be
diff --git a/docs/guide/verilating.rst b/docs/guide/verilating.rst
index 497abf025..6e63a93f2 100644
--- 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`