diff --git a/doc/03_reference/verification.rst b/doc/03_reference/verification.rst
index d851cbfa..977cef0c 100644
--- a/doc/03_reference/verification.rst
+++ b/doc/03_reference/verification.rst
@@ -111,7 +111,7 @@ In order to run the co-simulation flow, you'll need:
   + Some custom CSRs
   + Custom NMI behavior
 
-  Ibex verification should work with the Spike version that is tagged as ``ibex-cosim-v0.5``.
+  Ibex verification should work with the Spike version that named ``ibex_cosim``.
 
   Spike must be built with the ``--enable-commitlog`` and ``--enable-misaligned`` options.
   ``--enable-commitlog`` is needed to produce log output to track the instructions that were executed.