From 0b7adcbd10597536e3e0386f3524e91c013f6510 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Tue, 28 Feb 2023 13:34:14 +0000
Subject: [PATCH] back.verilog: pass `-norom` to `-proc` if available.

Fixes #746.
---
 amaranth/back/verilog.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/amaranth/back/verilog.py b/amaranth/back/verilog.py
index 738080c..b6425ea 100644
--- a/amaranth/back/verilog.py
+++ b/amaranth/back/verilog.py
@@ -15,7 +15,10 @@ def _convert_rtlil_text(rtlil_text, *, strip_internal_attrs=False, write_verilog
 
     script = []
     script.append("read_ilang <<rtlil\n{}\nrtlil".format(rtlil_text))
-    script.append("proc -nomux")
+    if yosys_version >= (0, 17):
+        script.append("proc -nomux -norom")
+    else:
+        script.append("proc -nomux")
     script.append("memory_collect")
 
     if strip_internal_attrs: