diff --git a/amaranth/back/verilog.py b/amaranth/back/verilog.py
index 545a4ed..50bc41d 100644
--- a/amaranth/back/verilog.py
+++ b/amaranth/back/verilog.py
@@ -8,7 +8,7 @@ __all__ = ["YosysError", "convert", "convert_fragment"]
 
 
 def _convert_rtlil_text(rtlil_text, *, strip_internal_attrs=False, write_verilog_opts=()):
-    # this version requirement needs to be synchronized with the one in pyproject.toml!
+    # This version requirement needs to be synchronized with the one in pyproject.toml!
     yosys = find_yosys(lambda ver: ver >= (0, 38))
 
     script = []
diff --git a/docs/install.rst b/docs/install.rst
index 3879eee..8b1874d 100644
--- a/docs/install.rst
+++ b/docs/install.rst
@@ -4,7 +4,10 @@ Installation
 System requirements
 ===================
 
-.. |yosys-version| replace:: 0.35 (or newer)
+..
+   This version requirement needs to be synchronized with the one in pyproject.toml!
+
+.. |yosys-version| replace:: 0.38 (or newer)
 
 Amaranth HDL requires Python 3.8; it works on CPython_ 3.8 (or newer), and works faster on PyPy3.8_ 7.3.7 (or newer). Installation requires pip_ 23.0 (or newer).
 
diff --git a/pyproject.toml b/pyproject.toml
index baf35f2..3edd906 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -20,7 +20,10 @@ dependencies = [
 ]
 
 [project.optional-dependencies]
-# this version requirement needs to be synchronized with the one in amaranth.back.verilog!
+# This version requirement needs to be synchronized with:
+# - pyproject.toml: tool.pdm.dev-dependencies.test
+# - amaranth/back/verilog.py: _convert_rtlil_text
+# - docs/install.rst: yosys-version
 builtin-yosys = ["amaranth-yosys>=0.38"]
 remote-build  = ["paramiko~=2.7"]
 
@@ -60,6 +63,7 @@ source-includes = [
 # Development workflow configuration
 
 [tool.pdm.dev-dependencies]
+# This version requirement needs to be synchronized with the one in pyproject.toml above!
 test = [
   "yowasp-yosys>=0.38",
   "coverage",