diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 15:21:36 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 15:21:36 +0100 |
commit | 5204694123e6ac10b931ac45dbe7f4cd0b11b93b (patch) | |
tree | 917584d88c9035875532fb5b6b4d66babda9da65 | |
parent | b72c779204120d53895d895d3599b4c87fc2f687 (diff) | |
download | yosys-5204694123e6ac10b931ac45dbe7f4cd0b11b93b.tar.gz yosys-5204694123e6ac10b931ac45dbe7f4cd0b11b93b.tar.bz2 yosys-5204694123e6ac10b931ac45dbe7f4cd0b11b93b.zip |
FstData already do conversion to VCD
-rw-r--r-- | passes/sat/sim.cc | 3 |
1 files changed, 2 insertions, 1 deletions
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()) |