write_verilog: emit $check cell names as labels

YosysHQ · Jan 30, 2025 · 9ad7bc2 · 9ad7bc2
1 parent 954250d
commit 9ad7bc2
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/backends/verilog/verilog_backend.cc b/backends/verilog/verilog_backend.cc
@@ -1044,16 +1044,21 @@ void dump_cell_expr_print(std::ostream &f, std::string indent, const RTLIL::Cell
 void dump_cell_expr_check(std::ostream &f, std::string indent, const RTLIL::Cell *cell)
 {
 	std::string flavor = cell->getParam(ID(FLAVOR)).decode_string();
+	std::string indent_name = indent;
+	if (cell->name.isPublic()) {
+		indent_name += stringf("%s: ", id(cell->name).c_str());
+	}
+
 	if (flavor == "assert")
-		f << stringf("%s" "assert (", indent.c_str());
+		f << stringf("%s" "assert (", indent_name.c_str());
 	else if (flavor == "assume")
-		f << stringf("%s" "assume (", indent.c_str());
+		f << stringf("%s" "assume (", indent_name.c_str());
 	else if (flavor == "live")
-		f << stringf("%s" "assert (eventually ", indent.c_str());
+		f << stringf("%s" "assert (eventually ", indent_name.c_str());
 	else if (flavor == "fair")
-		f << stringf("%s" "assume (eventually ", indent.c_str());
+		f << stringf("%s" "assume (eventually ", indent_name.c_str());
 	else if (flavor == "cover")
-		f << stringf("%s" "cover (", indent.c_str());
+		f << stringf("%s" "cover (", indent_name.c_str());
 	dump_sigspec(f, cell->getPort(ID::A));
 	f << stringf(");\n");
 }