From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 11 Mar 2022 14:21:36 +0000 (+0100)
Subject: FstData already do conversion to VCD
X-Git-Tag: yosys-0.16~52^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5204694123e6ac10b931ac45dbe7f4cd0b11b93b;p=yosys.git

FstData already do conversion to VCD
---

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 5d8e44830..02b859bcc 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1785,7 +1785,8 @@ struct SimPass : public Pass {
 			worker.run(top_mod, numcycles);
 		else {
 			std::string filename_trim = file_base_name(worker.sim_filename);
-			if (filename_trim.size() > 4 && filename_trim.compare(filename_trim.size()-4, std::string::npos, ".fst") == 0) {
+			if (filename_trim.size() > 4 && ((filename_trim.compare(filename_trim.size()-4, std::string::npos, ".fst") == 0) ||
+				filename_trim.compare(filename_trim.size()-4, std::string::npos, ".vcd") == 0)) {
 				worker.run_cosim_fst(top_mod, numcycles);
 			} else if (filename_trim.size() > 4 && filename_trim.compare(filename_trim.size()-4, std::string::npos, ".aiw") == 0) {
 				if (worker.map_filename.empty())