Fix VPI inline module naming mismatch (#3690) (#3694)

This commit is contained in:
Jiuyang Liu
2022-10-21 13:04:42 -04:00
committed by GitHub
parent 196f3292d5
commit 2e4f5c863f
2 changed files with 2 additions and 1 deletions
+1 -1
View File
@@ -295,7 +295,7 @@ class EmitCSyms final : EmitCBaseVisitor {
if (v3Global.opt.vpi()) {
const string type
= (nodep->origModName() == "__BEGIN__") ? "SCOPE_OTHER" : "SCOPE_MODULE";
const string name = nodep->scopep()->name() + "__DOT__" + nodep->name();
const string name = nodep->scopep()->shortName() + "__DOT__" + nodep->name();
const string name_dedot = AstNode::dedotName(name);
const int timeunit = m_modp->timeunit().powerOfTen();
m_vpiScopeCandidates.insert(