Fixups

Silimate · Sep 23, 2024 · 0fd6e29 · 0fd6e29
1 parent 0b8d951
commit 0fd6e29
Show file tree

Hide file tree

Showing 6 changed files with 1 addition and 550 deletions.
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
@@ -228,7 +228,7 @@ bool is_blackbox(Netlist *nl)
 RTLIL::IdString VerificImporter::new_verific_id(Verific::DesignObj *obj)
 {
 	std::string s = stringf("$%s", obj->Name());
-	while (seen_ids.count(s) > 0) s = "$"	+ s;
+	while (seen_ids.count(s)) s += stringf("$%d", autoidx++);
 	seen_ids.insert(s);
 	return s;
 }

diff --git a/tests/verific/case.gate.v b/tests/verific/case.gate.v
diff --git a/tests/verific/case.gold.v b/tests/verific/case.gold.v
diff --git a/tests/verific/case.ys.fail → tests/verific/case.ys b/tests/verific/case.ys.fail → tests/verific/case.ys