From 5204694123e6ac10b931ac45dbe7f4cd0b11b93b Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 11 Mar 2022 15:21:36 +0100
Subject: [PATCH] FstData already do conversion to VCD
---
passes/sat/sim.cc | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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())