From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 25 Oct 2017 11:05:14 +0000 (+0200)
Subject: Fix a bug in yosys-smtbmc in ROM handling
X-Git-Tag: yosys-0.8~288
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dd46d76394eb3f345d8af63ade4fd2b4f2e443e1;p=yosys.git

Fix a bug in yosys-smtbmc in ROM handling
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index c8151c266..d9b79e26e 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -644,6 +644,9 @@ def write_vcd_trace(steps_start, steps_stop, index):
                 data = ["x"] * width
                 gotread = False
 
+                if len(wdata) == 0 and len(rdata) != 0:
+                    wdata = [[]] * len(rdata)
+
                 assert len(rdata) == len(wdata)
 
                 for i in range(len(wdata)):