diff --git a/amaranth/back/verilog.py b/amaranth/back/verilog.py index 55d425e77..2ff487fd5 100644 --- a/amaranth/back/verilog.py +++ b/amaranth/back/verilog.py @@ -1,5 +1,3 @@ -import warnings - from .._toolchain.yosys import * from ..hdl import ast, ir from ..lib import wiring @@ -11,15 +9,11 @@ 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! - yosys = find_yosys(lambda ver: ver >= (0, 10)) - yosys_version = yosys.version() + yosys = find_yosys(lambda ver: ver >= (0, 35)) script = [] script.append(f"read_ilang <= (0, 17): - script.append("proc -nomux -norom") - else: - script.append("proc -nomux") + script.append("proc -nomux -norom") script.append("memory_collect") if strip_internal_attrs: diff --git a/pyproject.toml b/pyproject.toml index 962aecff9..4e0706266 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -20,7 +20,7 @@ dependencies = [ [project.optional-dependencies] # this version requirement needs to be synchronized with the one in amaranth.back.verilog! -builtin-yosys = ["amaranth-yosys>=0.10"] +builtin-yosys = ["amaranth-yosys>=0.35"] remote-build = ["paramiko~=2.7"] [project.scripts]