FstData already do conversion to VCD

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 5d8e4483014356e24ceb07a4a0c19638657e2c1b..02b859bcc5e4e25004a78462a27a757210b08a47 100644 (file)
--- 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())