diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-18 11:17:45 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-18 11:17:45 +0200 |
| commit | de8ee412c30e92efe3a3e1434c0f4b495f8cdbbe (patch) | |
| tree | 55decf5d829b173ad34883a2c4b9b4d31d889875 /backends/smt2/smtbmc.py | |
| parent | dfcd30ea869f43af520aef033aa1311457112904 (diff) | |
| download | yosys-de8ee412c30e92efe3a3e1434c0f4b495f8cdbbe.tar.gz yosys-de8ee412c30e92efe3a3e1434c0f4b495f8cdbbe.tar.bz2 yosys-de8ee412c30e92efe3a3e1434c0f4b495f8cdbbe.zip | |
Improved smtbmc vcd generation performance
Diffstat (limited to 'backends/smt2/smtbmc.py')
| -rw-r--r-- | backends/smt2/smtbmc.py | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index cb491b800..75bc51abb 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -111,14 +111,16 @@ def write_vcd_model(steps): print("%s Writing model to VCD file." % smt.timestamp()) vcd = mkvcd(open(vcdfile, "w")) + for netpath in sorted(smt.hiernets(topmod)): - width = len(smt.get_net_bin(topmod, netpath, "s0")) - vcd.add_net([topmod] + netpath, width) + vcd.add_net([topmod] + netpath, smt.net_width(topmod, netpath)) for i in range(steps): vcd.set_time(i) - for netpath in sorted(smt.hiernets(topmod)): - vcd.set_net([topmod] + netpath, smt.get_net_bin(topmod, netpath, "s%d" % i)) + path_list = sorted(smt.hiernets(topmod)) + value_list = smt.get_net_bin_list(topmod, path_list, "s%d" % i) + for path, value in zip(path_list, value_list): + vcd.set_net([topmod] + path, value) vcd.set_time(steps) |