diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-10-14 23:00:46 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-10-14 23:00:46 +0200 |
| commit | 9fd0f870594914d4070d4499b2f5ab00576d8367 (patch) | |
| tree | 3237807ca83c9d176593239a9caba25cdf4a3361 /backends/smt2/smtbmc.py | |
| parent | 25c1f6e60524e04f412e95d1dd633aa37169c489 (diff) | |
Fixed yosys-smtbmc -c
Diffstat (limited to 'backends/smt2/smtbmc.py')
| -rw-r--r-- | backends/smt2/smtbmc.py | 4 |
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) |