Fix a bug in yosys-smtbmc in ROM handling

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index c8151c2665c5e6e7c7800bf9e88b3a5eacc434ca..d9b79e26e423ec30a9260543e0804eac3684d139 100644 (file)
--- 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)):