From dd46d76394eb3f345d8af63ade4fd2b4f2e443e1 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 25 Oct 2017 13:05:14 +0200 Subject: [PATCH] Fix a bug in yosys-smtbmc in ROM handling --- backends/smt2/smtbmc.py | 3 +++ 1 file changed, 3 insertions(+) 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)):