diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-10-15 15:08:41 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-10-15 15:10:33 +0200 |
| commit | 302166dd59d8f04aacec30223868fce13a3094dd (patch) | |
| tree | 380cfbd7bdbfdb41f6bf25c92f5f6bcb18d51d80 /backends/smt2/smtio.py | |
| parent | 1d83854d84b7a0a23ee14b72c1a289b50becdeca (diff) | |
| download | yosys-302166dd59d8f04aacec30223868fce13a3094dd.tar.gz yosys-302166dd59d8f04aacec30223868fce13a3094dd.tar.bz2 yosys-302166dd59d8f04aacec30223868fce13a3094dd.zip | |
Improvements in yosys-smtbmc
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 799efa88c..6e8bded77 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -313,6 +313,7 @@ class mkvcd: assert t >= self.t if t != self.t: if self.t == -1: + print("$var event 1 ! smt_clock $end", file=self.f) for name in sorted(self.nets): key, width = self.nets[name] print("$var wire %d %s %s $end" % (width, key, name), file=self.f) @@ -320,4 +321,5 @@ class mkvcd: self.t = t assert self.t >= 0 print("#%d" % self.t, file=self.f) + print("1!", file=self.f) |