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

Signed-off-by: Clifford Wolf <[email protected]>
2026-10-06 10:03:36 +02:00 · 2019-06-16 23:12:03 +02:00
parent d4f77d408c
commit c23bbc4291
1 changed files with 2 additions and 0 deletions
@@ -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)