diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-02 09:39:22 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-02 09:39:22 +0100 |
commit | 28bc88a57e18ebd5ded2bae4cf2feb375a55cbd1 (patch) | |
tree | 9711450f97f848f98a55e2f2b6d1375cf2200d8a | |
parent | 94505395a92c6522b060fb982c8c3a81ff58c12d (diff) | |
download | yosys-28bc88a57e18ebd5ded2bae4cf2feb375a55cbd1.tar.gz yosys-28bc88a57e18ebd5ded2bae4cf2feb375a55cbd1.tar.bz2 yosys-28bc88a57e18ebd5ded2bae4cf2feb375a55cbd1.zip |
Cleanup
-rw-r--r-- | passes/sat/sim.cc | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 988da0eb0..7189b54e8 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -72,10 +72,10 @@ struct OutputWriter virtual ~OutputWriter() {}; virtual void write_header() = 0; virtual void write_step_header(int t) = 0; - virtual void enter_scope(IdString name) = 0; - virtual void exit_scope() = 0; - virtual void register_signal(Wire *wire, int id) = 0; - virtual void write_value(int id, Const& value) = 0; + virtual void enter_scope(IdString) {}; + virtual void exit_scope() {}; + virtual void register_signal(Wire *, int) {}; + virtual void write_value(int, Const&) {}; SimWorker *worker; }; @@ -1192,6 +1192,7 @@ struct VCDWriter : public OutputWriter { vcdfile << stringf("$scope module %s $end\n", log_id(name)); } + void exit_scope() override { vcdfile << stringf("$upscope $end\n"); @@ -1214,7 +1215,6 @@ struct VCDWriter : public OutputWriter default: vcdfile << "z"; } } - vcdfile << stringf(" n%d\n", id); } @@ -1271,6 +1271,7 @@ struct FSTWriter : public OutputWriter mapping.emplace(id, fst_id); } + void write_value(int id, Const& value) override { if (!fstfile) return; @@ -1285,6 +1286,7 @@ struct FSTWriter : public OutputWriter } fstWriterEmitValueChange(fstfile, mapping[id], ss.str().c_str()); } + struct fstContext *fstfile = nullptr; std::map<int,fstHandle> mapping; }; @@ -1364,11 +1366,6 @@ struct AIWWriter : public OutputWriter 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; dict<int, std::pair<SigBit, bool>> aiw_latches; |