mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-25 07:13:42 +00:00
Code Activity

Sub1 fix

Browse source
This commit is contained in:
Akash Levy 2024-06-13 15:33:17 -07:00
parent ac0a9e7366
commit 2337d97977
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
frontends/verific/verific.cc
View file

@ -207,7 +207,7 @@ bool is_blackbox(Netlist *nl)
RTLIL::IdString VerificImporter::new_verific_id(Verific::DesignObj *obj) RTLIL::IdString VerificImporter::new_verific_id(Verific::DesignObj *obj)
{ {
std::string s = stringf("$%s", obj->Name()); std::string s = stringf("$%s$%d", obj->Name(), autoidx++);
return s; return s;
} }