From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 10 Sep 2016 14:24:08 +0000 (+0200)
Subject: Minor improvements to smtio.py vcd writer
X-Git-Tag: yosys-0.7~65
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1;p=yosys.git

Minor improvements to smtio.py vcd writer
---

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)