From 9fd0f870594914d4070d4499b2f5ab00576d8367 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 14 Oct 2015 23:00:46 +0200 Subject: Fixed yosys-smtbmc -c --- backends/smt2/smtbmc.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'backends/smt2/smtbmc.py') 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) -- cgit v1.2.3