From b146da984f5e47e0652269b45c4a686db5e8b43f Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Tue, 7 Jul 2026 13:25:50 -0700
Subject: [PATCH] implementation that works without verific changes

---
 frontends/verific/verific.cc | 47 +++++++++++++++++++++++++++++++++---
 1 file changed, 44 insertions(+), 3 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 085e62f5d..f8de10d38 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -58,6 +58,8 @@ USING_YOSYS_NAMESPACE
 #include "VeriWrite.h"
 #include "VeriLibrary.h"
 #include "VeriExpression.h"
+#include "VeriScope.h"
+#include "VeriId.h"
 #endif
 
 #ifdef VERIFIC_VHDL_SUPPORT
@@ -121,6 +123,37 @@ bool verific_no_split_complex_ports; // SILIMATE: disable splitting of complex p
 #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
 vector<string> verific_incdirs, verific_libdirs, verific_libexts;
 
+// SILIMATE: "<module>.<signal>" entries to treat as if annotated with (* force_ram *)
+vector<string> verific_force_ram_signals;
+
+// SILIMATE: stamp the force_ram attribute onto the registered signals.
+static void apply_force_ram_signals()
+{
+	for (auto &entry : verific_force_ram_signals) {
+		// Validation
+		size_t dot = entry.find('.');
+		if (dot == std::string::npos || dot == 0 || dot + 1 == entry.size()) {
+			log_warning("-force-ram entry '%s' is not of the form <module>.<signal> required.\n", entry.c_str());
+			continue;
+		}
+		// Extract module and signal name
+		std::string module_name = entry.substr(0, dot);
+		std::string signal_name = entry.substr(dot + 1);
+		// Find module and signal from the design
+		VeriModule *veri_module = veri_file::GetModule(module_name.c_str());
+		VeriScope *scope = veri_module ? veri_module->GetScope() : nullptr;
+		VeriIdDef *id = scope ? scope->FindLocal(signal_name.c_str()) : nullptr;
+		if (!id) {
+			log_warning("-force-ram: signal '%s' not found in module '%s'.\n",
+			            signal_name.c_str(), module_name.c_str());
+			continue;
+		}
+		// Add force_ram attribute if not already present
+		if (!id->GetAttribute("force_ram"))
+			id->AddAttribute("force_ram", nullptr);
+	}
+}
+
 static void dump_verific_file_closure(const char *output_path, Array *file_names)
 {
 	std::set<std::string> seen;
@@ -3030,6 +3063,9 @@ void restore_blackbox_msg_state()
 
 void import_all(const char* work, std::map<std::string,Netlist*> *nl_todo, Map *parameters, bool show_message, std::string ppfile YS_MAYBE_UNUSED)
 {
+#ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
+	apply_force_ram_signals(); // SILIMATE
+#endif
 #ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 	save_blackbox_msg_state();
 	VerificExtensions::ElaborateAndRewrite(work, parameters);
@@ -3099,6 +3135,10 @@ std::set<std::string> import_tops(const char* work, std::map<std::string,Netlist
 	Array *netlists = nullptr;
 	(void)top;
 
+#ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
+	apply_force_ram_signals(); // SILIMATE
+#endif
+
 #ifdef VERIFIC_VHDL_SUPPORT
 	VhdlLibrary *vhdl_lib = vhdl_file::GetLibrary(work, 1);
 #endif
@@ -3282,6 +3322,7 @@ void verific_cleanup()
 	verific_incdirs.clear();
 	verific_libdirs.clear();
 	verific_libexts.clear();
+	verific_force_ram_signals.clear(); // SILIMATE
 #endif
 	verific_import_pending = false;
 }
@@ -3516,8 +3557,8 @@ struct VerificPass : public Pass {
 		log("    verific -force-ram <module>.<signal>..\n");
 		log("\n");
 		log("Treat each listed signal as if it had a (* force_ram *) attribute in the\n");
-		log("RTL, opting it into multi-port RAM extraction. Must be used before the\n");
-		log("Verilog sources are analyzed.\n");
+		log("RTL, opting it into multi-port RAM extraction. The attribute is applied\n");
+		log("when the design is elaborated (verific -import).\n");
 		log("\n");
 		log("\n");
 #endif
@@ -3934,7 +3975,7 @@ struct VerificPass : public Pass {
 		// SILIMATE: register signals that behave as if annotated with (* force_ram *) in the RTL
 		if (GetSize(args) > argidx && args[argidx] == "-force-ram") {
 			for (argidx++; argidx < GetSize(args); argidx++)
-				veri_file::AddForceRamSignal(args[argidx].c_str());
+				verific_force_ram_signals.push_back(args[argidx]);
 			goto check_error;
 		}