diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-10 16:24:08 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-10 16:24:08 +0200 |
| commit | 5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1 (patch) | |
| tree | 47b9ab09149f4104b300925854f93717ada2b81c /backends/smt2 | |
| parent | b582f11074c1877888341cf6d3fdceb490e88a3e (diff) | |
| download | yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1.tar.gz yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1.tar.bz2 yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1.zip | |
Minor improvements to smtio.py vcd writer
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smtio.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index b234270cb..62fb5154f 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -593,6 +593,7 @@ class MkVcd: assert t >= self.t if t != self.t: if self.t == -1: + print("$var integer 32 t smt_step $end", file=self.f) print("$var event 1 ! smt_clock $end", file=self.f) scope = [] for path in sorted(self.nets): @@ -609,6 +610,7 @@ class MkVcd: print("$enddefinitions $end", file=self.f) self.t = t assert self.t >= 0 - print("#%d" % self.t, file=self.f) + print("#%d" % (10 * self.t), file=self.f) print("1!", file=self.f) + print("b%s t" % format(self.t, "032b"), file=self.f) |