summaryrefslogtreecommitdiff
path: root/backends/smt2
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-10-14 23:00:46 +0200
committerClifford Wolf <clifford@clifford.at>2015-10-14 23:00:46 +0200
commit9fd0f870594914d4070d4499b2f5ab00576d8367 (patch)
tree3237807ca83c9d176593239a9caba25cdf4a3361 /backends/smt2
parent25c1f6e60524e04f412e95d1dd633aa37169c489 (diff)
Fixed yosys-smtbmc -c
Diffstat (limited to 'backends/smt2')
-rw-r--r--backends/smt2/smtbmc.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index da186879..4f684584 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -105,13 +105,13 @@ def write_vcd_model():
vcd = mkvcd(open(vcdfile, "w"))
for netname in sorted(debug_nets):
- width = len(smt.get_net_bin("main", netname, "s0"))
+ width = len(smt.get_net_bin(topmod, netname, "s0"))
vcd.add_net(netname, width)
for i in range(step+1):
vcd.set_time(i)
for netname in debug_nets:
- vcd.set_net(netname, smt.get_net_bin("main", netname, "s%d" % i))
+ vcd.set_net(netname, smt.get_net_bin(topmod, netname, "s%d" % i))
vcd.set_time(step+1)