[DanielKellerM]

Moves every tool to one OSEDA version, 2026.09, both locally (iis-setup.sh) and in the Docker image: Verilator 5.044 -> 5.052, Yosys 0.62 -> 0.69, slang 10.0 -> 11.0, bender 0.31.0 -> 0.32.1. Locally bender comes from the IIS bender-0.32.1 command, in Docker from OSEDA; both are 0.32.1.

This fixes the internal Yosys job, which has been running out of time (4 h) since #345 and #350. The old Yosys frontend was extremely slow on the latch-based register files; with the new one the whole Yosys run takes about half the time, with the same memory and area within 0.2%.

Two other changes:

• The new Verilator crashes on how the FP operand is picked in snitch_fp_ss. The operand is now picked first and copied across the lanes in a separate step. It behaves exactly the same.
• The Yosys scripts now count as inputs of the netlist, so changing them reruns the Yosys job.

Verified internally:

• Same test results as main: run.yaml 87/87, ISA tests 70/70, mempool 29/29, spatz 6/6
• Internal CI fully green, including Yosys (2h14 instead of timing out at 4 h)
• Bender.lock unchanged, and bender lists exactly the same source files as before
• snitch_fp_ss change proven identical to the old code with two independent formal equivalence checks, for every config used in CI
• Old and new snitch_fp_ss give bit-identical traces on 157 tests in Questa and Verilator
• Docker image build (could not build it locally)

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.