From 3f829e13b97c9c730bd6d769015aec06fac09f2c Mon Sep 17 00:00:00 2001
From: Mateusz Gancarz <mgancarz@antmicro.com>
Date: Thu, 6 Mar 2025 08:15:47 +0100
Subject: [PATCH] [#74021] change link to IEEE spec

---
 docs/guide/exe_verilator.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst
index c61b14066..86f90ab33 100644
--- a/docs/guide/exe_verilator.rst
+++ b/docs/guide/exe_verilator.rst
@@ -1629,7 +1629,7 @@ Summary:
 .. option:: --trace-saif
 
    Enable SAIF tracing in the model. This overrides :vlopt:`--trace`.
-   Specification of this format can be found in this `IEEE spec <https://ieeexplore.ieee.org/document/8686430>`_ (see Annex I).
+   Specification of this format can be found in `IEEE 1801-2018<https://ieeexplore.ieee.org/document/8686430>`_ (see Annex I).
 
 .. option:: --trace-structs