mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-02 20:31:22 +00:00
Code Activity

Add "sim -zinit -rstlen"

Browse source
This commit is contained in:
Clifford Wolf 2017-08-18 12:54:17 +02:00
parent 35760dd784
commit bbdf7d9c66
1 changed files with 53 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

54
passes/sat/sim.cc
View file

@ -29,8 +29,22 @@ struct SimShared
bool debug = false; bool debug = false;
bool hide_internal = true; bool hide_internal = true;
bool writeback = false; bool writeback = false;
bool zinit = false;
int rstlen = 1;
}; };
void zinit(State &v)
{
if (v != State::S1)
v = State::S0;
}
void zinit(Const &v)
{
for (auto &bit : v.bits)
zinit(bit);
}
struct SimInstance struct SimInstance
{ {
SimShared *shared; SimShared *shared;
@ -148,6 +162,27 @@ struct SimInstance
formal_database.insert(cell); formal_database.insert(cell);
} }
} }
if (shared->zinit)
{
for (auto &it : ff_database)
{
Cell *cell = it.first;
ff_state_t &ff = it.second;
zinit(ff.past_d);
SigSpec qsig = cell->getPort("\\Q");
Const qdata = get_state(qsig);
zinit(qdata);
set_state(qsig, qdata);
}
for (auto &it : mem_database) {
mem_state_t &mem = it.second;
zinit(mem.past_wr_en);
zinit(mem.data);
}
}
} }
~SimInstance() ~SimInstance()
@ -663,6 +698,9 @@ struct SimWorker : SimShared
set_inports(reset, State::S1); set_inports(reset, State::S1);
set_inports(resetn, State::S0); set_inports(resetn, State::S0);
set_inports(clock, State::Sx);
set_inports(clockn, State::Sx);
update(); update();
write_vcd_header(); write_vcd_header();
@ -687,7 +725,7 @@ struct SimWorker : SimShared
set_inports(clock, State::S1); set_inports(clock, State::S1);
set_inports(clockn, State::S0); set_inports(clockn, State::S0);
if (cycle == 0) { if (cycle+1 == rstlen) {
set_inports(reset, State::S0); set_inports(reset, State::S0);
set_inports(resetn, State::S1); set_inports(resetn, State::S1);
} }
@ -730,6 +768,12 @@ struct SimPass : public Pass {
log(" -resetn <portname>\n"); log(" -resetn <portname>\n");
log(" name of top-level inverted reset input (active low)\n"); log(" name of top-level inverted reset input (active low)\n");
log("\n"); log("\n");
log(" -rstlen <integer>\n");
log(" number of cycles reset should stay active (default: 1)\n");
log("\n");
log(" -zinit\n");
log(" zero-initialize all uninitialized regs and memories\n");
log("\n");
log(" -n <integer>\n"); log(" -n <integer>\n");
log(" number of cycles to simulate (default: 20)\n"); log(" number of cycles to simulate (default: 20)\n");
log("\n"); log("\n");
@ -760,6 +804,10 @@ struct SimPass : public Pass {
numcycles = atoi(args[++argidx].c_str()); numcycles = atoi(args[++argidx].c_str());
continue; continue;
} }
if (args[argidx] == "-rstlen" && argidx+1 < args.size()) {
worker.rstlen = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-clock" && argidx+1 < args.size()) { if (args[argidx] == "-clock" && argidx+1 < args.size()) {
worker.clock.insert(RTLIL::escape_id(args[++argidx])); worker.clock.insert(RTLIL::escape_id(args[++argidx]));
continue; continue;
@ -788,6 +836,10 @@ struct SimPass : public Pass {
worker.writeback = true; worker.writeback = true;
continue; continue;
} }
if (args[argidx] == "-zinit") {
worker.zinit = true;
continue;
}
break; break;
} }
extra_args(args, argidx, design); extra_args(args, argidx, design);