From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 16 Jun 2019 21:12:03 +0000 (+0200)
Subject: Add timescale and generated-by header to yosys-smtbmc MkVcd
X-Git-Tag: yosys-0.9~73
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c23bbc429103ca84cb8a9cfb674aacf7d14109c6;p=yosys.git

Add timescale and generated-by header to yosys-smtbmc MkVcd

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index ab20a4af2..cea0fc56c 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -1023,6 +1023,8 @@ class MkVcd:
         assert t >= self.t
         if t != self.t:
             if self.t == -1:
+                print("$version Generated by Yosys-SMTBMC $end", file=self.f)
+                print("$timescale 1ns $end", file=self.f)
                 print("$var integer 32 t smt_step $end", file=self.f)
                 print("$var event 1 ! smt_clock $end", file=self.f)