mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Cleanup

Browse source
This commit is contained in:
Miodrag Milanovic 2022-03-02 09:39:22 +01:00
parent 94505395a9
commit 28bc88a57e
1 changed files with 7 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
passes/sat/sim.cc
View file

@ -72,10 +72,10 @@ struct OutputWriter
virtual ~OutputWriter() {}; virtual ~OutputWriter() {};
virtual void write_header() = 0; virtual void write_header() = 0;
virtual void write_step_header(int t) = 0; virtual void write_step_header(int t) = 0;
virtual void enter_scope(IdString name) = 0; virtual void enter_scope(IdString) {};
virtual void exit_scope() = 0; virtual void exit_scope() {};
virtual void register_signal(Wire *wire, int id) = 0; virtual void register_signal(Wire *, int) {};
virtual void write_value(int id, Const& value) = 0; virtual void write_value(int, Const&) {};
SimWorker *worker; SimWorker *worker;
}; };
@ -1192,6 +1192,7 @@ struct VCDWriter : public OutputWriter
{ {
vcdfile << stringf("$scope module %s $end\n", log_id(name)); vcdfile << stringf("$scope module %s $end\n", log_id(name));
} }
void exit_scope() override void exit_scope() override
{ {
vcdfile << stringf("$upscope $end\n"); vcdfile << stringf("$upscope $end\n");
@ -1214,7 +1215,6 @@ struct VCDWriter : public OutputWriter
default: vcdfile << "z"; default: vcdfile << "z";
} }
} }
vcdfile << stringf(" n%d\n", id); vcdfile << stringf(" n%d\n", id);
} }
@ -1271,6 +1271,7 @@ struct FSTWriter : public OutputWriter
mapping.emplace(id, fst_id); mapping.emplace(id, fst_id);
} }
void write_value(int id, Const& value) override void write_value(int id, Const& value) override
{ {
if (!fstfile) return; if (!fstfile) return;
@ -1285,6 +1286,7 @@ struct FSTWriter : public OutputWriter
} }
fstWriterEmitValueChange(fstfile, mapping[id], ss.str().c_str()); fstWriterEmitValueChange(fstfile, mapping[id], ss.str().c_str());
} }
struct fstContext *fstfile = nullptr; struct fstContext *fstfile = nullptr;
std::map<int,fstHandle> mapping; std::map<int,fstHandle> mapping;
}; };
@ -1364,11 +1366,6 @@ struct AIWWriter : public OutputWriter
break; break;
} }
} }
void enter_scope(IdString) override {}
void exit_scope() override {}
void register_signal(Wire*, int) override {}
void write_value(int , Const& ) override {}
std::ofstream aiwfile; std::ofstream aiwfile;
dict<int, std::pair<SigBit, bool>> aiw_latches; dict<int, std::pair<SigBit, bool>> aiw_latches;