From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 29 Mar 2018 10:38:41 +0000 (+0200)
Subject: Removed $timescale from "sat" command VCD writer
X-Git-Tag: yosys-0.8~136
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=665eec3d531e0da3a2d599fd9869d81dfa8c3966;p=yosys.git

Removed $timescale from "sat" command VCD writer

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

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index a6ac7afd4..6c0834deb 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -691,7 +691,6 @@ struct SatHelper
 		// VCD has some limits on internal (non-display) identifier names, so make legal ones
 		std::map<std::string, std::string> vcdnames;
 
-		fprintf(f, "$timescale 1ns\n"); // arbitrary time scale since actual clock period is unknown/unimportant
 		fprintf(f, "$scope module %s $end\n", module->name.c_str());
 		for (auto &info : modelInfo)
 		{