riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix a bug in yosys-smtbmc in ROM handling

This commit is contained in:
Clifford Wolf 2017-10-25 13:05:14 +02:00
parent baddb017fe
commit dd46d76394
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
backends/smt2/smtbmc.py
View File

@ -644,6 +644,9 @@ def write_vcd_trace(steps_start, steps_stop, index):
data = ["x"] * width data = ["x"] * width
gotread = False gotread = False
if len(wdata) == 0 and len(rdata) != 0:
wdata = [[]] * len(rdata)
assert len(rdata) == len(wdata) assert len(rdata) == len(wdata)
for i in range(len(wdata)): for i in range(len(wdata)):