mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

Fix smtbmc vlogtb bug in $anyseq handling

Browse source
This commit is contained in:
Clifford Wolf 2017-07-01 02:13:32 +02:00
parent 0f217080cf
commit 7d2fb6e2fc
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
backends/smt2/smtbmc.py
View file

@ -755,11 +755,11 @@ def write_vlogtb_trace(steps_start, steps_stop, index):
for info in anyseqs:
if info[3] is not None:
modstate = smt.net_expr(topmod, "s%d" % steps_start, info[0])
modstate = smt.net_expr(topmod, "s%d" % i, info[0])
value = smt.bv2bin(smt.get("(|%s| %s)" % (info[1], modstate)))
print(" UUT.%s = %d'b%s;" % (".".join(info[0] + [info[3]]), len(value), value), file=f);
print(" UUT.%s <= %d'b%s;" % (".".join(info[0] + [info[3]]), len(value), value), file=f);
print(" genclock = 0;", file=f)
print(" genclock <= 0;", file=f)
print(" end", file=f)
print("endmodule", file=f)