mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-27 10:55:51 +00:00
Code Activity

FstData already do conversion to VCD

Browse source
This commit is contained in:
Miodrag Milanovic 2022-03-11 15:21:36 +01:00
parent b72c779204
commit 5204694123
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/sat/sim.cc
View file

@ -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())