diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst
index c8f65a76d..13c70d859 100644
--- a/docs/guide/exe_verilator.rst
+++ b/docs/guide/exe_verilator.rst
@@ -1629,6 +1629,7 @@ Summary:
 .. option:: --trace-saif
 
    Enable SAIF tracing in the model. This overrides :vlopt:`--trace`.
+   Specification of this format can be found in `Annex I` of https://ieeexplore.ieee.org/document/8686430
 
 .. option:: --trace-structs