From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 14 Oct 2015 21:00:46 +0000 (+0200)
Subject: Fixed yosys-smtbmc -c
X-Git-Tag: yosys-0.6~109
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9fd0f870594914d4070d4499b2f5ab00576d8367;p=yosys.git

Fixed yosys-smtbmc -c
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index da1868797..4f6845849 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)