diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 82b7e6632..cb8158678 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3546,6 +3546,7 @@ struct VerificPass : public Pass {
 			// RuntimeFlags::SetVar("veri_break_loops", 0); // SILIMATE: add to avoid breaking loops
 			RuntimeFlags::SetVar("veri_optimize_wide_selector", 1); // SILIMATE: add to optimize wide selector
 			RuntimeFlags::SetVar("veri_ignore_assertion_statements", 1); // SILIMATE: add to ignore SVA/asserts
+			RuntimeFlags::SetVar("verilog_ignore_unnecessary_modules_in_v_files", 1); // SILIMATE: add to ignore unnecessary modules
 #endif
 #ifdef VERIFIC_VHDL_SUPPORT
 			RuntimeFlags::SetVar("vhdl_extract_dualport_rams", 0);
diff --git a/passes/cmds/activity.cc b/passes/cmds/activity.cc
index fdc2495a5..2ebf513d0 100644
--- a/passes/cmds/activity.cc
+++ b/passes/cmds/activity.cc
@@ -178,7 +178,7 @@ struct ActivityPropPass : public Pass {
 			ActivityProp worker(module);
 			totalNbBitsWithActivity += worker.getNbBitsWithActivity();
 		}
-		log("Collected %d bits with activity", totalNbBitsWithActivity);
+		log("Collected %d bits with activity\n", totalNbBitsWithActivity);
 		log_flush();
 	}
 } ActivityPropPass;
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index ec14ef2ea..0fb4018d5 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -28,6 +28,8 @@
 #include "kernel/fmt.h"
 
 #include <ctime>
+#include <sstream>
+#include <iomanip>
 
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
@@ -2541,6 +2543,10 @@ struct AnnotateActivity : public OutputWriter {
 		double clk_period = real_timescale * (double)max_time / (clktoggleCounts[0] / 2.0);
 		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));
+		std::stringstream ss;
+		ss << std::setprecision(4) << real_timescale;
+		worker->top->module->set_string_attribute("$TIMESCALE", ss.str());
 		if (debug) {
 			std::cout << "Clock toggle count: " << clktoggleCounts[0] << "\n";
 			std::cout << "Max time: " << max_time << "\n";