docs/install: fix Yosys version requirement.

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 = []

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).
 

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",