From 5204694123e6ac10b931ac45dbe7f4cd0b11b93b Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic 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()) -- 2.30.2