luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

move log flush to better spot

This commit is contained in:
Stan Lee 2026-02-26 16:01:37 -08:00
parent b11eef4fe1
commit 29a1c69f74
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
passes/sat/sim.cc
View File

@ -2524,7 +2524,6 @@ struct AnnotateActivity : public OutputWriter {
double real_timescale = worker->fst->getTimescale();
if (worker->debug) {
log_debug("Timescale %e seconds extracted from converted VCD file", real_timescale);
log_flush();
}
// Compute clock period, find the highest toggling signal and compute its average period
@ -2537,6 +2536,8 @@ struct AnnotateActivity : public OutputWriter {
std::vector<double_t> &clktoggleCounts = itr->second.toggleCounts;
clk_period = real_timescale * (double)max_time / (clktoggleCounts[0] / 2.0);
}
log_flush();
double frequency = 1.0 / clk_period;
worker->top->module->set_string_attribute("$FREQUENCY", std::to_string(frequency));
worker->top->module->set_string_attribute("$DURATION", std::to_string(max_time));