Add block name to coverage names

Signed-off-by: Tomasz Gorochowik <[email protected]>
antmicro · Jan 20, 2025 · 099408a · 099408a
1 parent c05d552
commit 099408a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/V3Coverage.cpp b/src/V3Coverage.cpp
@@ -280,7 +280,7 @@ class CoverageVisitor final : public VNVisitor {
                 //      We'll do this, and make the if(...) coverinc later.
 
                 // Add signal to hold the old value
-                const string newvarname = "__Vtogcov__"s + nodep->shortName();
+                const string newvarname = "__Vtogcov__"s + m_beginHier + nodep->shortName();
                 FileLine* const fl_nowarn = new FileLine{nodep->fileline()};
                 fl_nowarn->modifyWarnOff(V3ErrorCode::UNUSEDSIGNAL, true);
                 AstVar* const chgVarp
@@ -302,7 +302,7 @@ class CoverageVisitor final : public VNVisitor {
     void toggleVarBottom(const ToggleEnt& above, const AstVar* varp) {
         AstCoverToggle* const newp = new AstCoverToggle{
             varp->fileline(),
-            newCoverInc(varp->fileline(), "", "v_toggle", "toggle_" + varp->name() + above.m_comment + "=_", "", 0,
+            newCoverInc(varp->fileline(), "", "v_toggle", "toggle_" + m_beginHier + "_" + varp->name() + above.m_comment + "=_", "", 0,
                         ""),
             above.m_varRefp->cloneTree(true), above.m_chgRefp->cloneTree(true)};
         m_modp->addStmtsp(newp);
@@ -573,7 +573,7 @@ class CoverageVisitor final : public VNVisitor {
         VL_RESTORER(m_beginHier);
         VL_RESTORER(m_inToggleOff);
         if (nodep->name() != "") {
-            m_beginHier = m_beginHier + (m_beginHier != "" ? "." : "") + nodep->name();
+            m_beginHier = m_beginHier + (m_beginHier != "" ? "_dot_" : "") + nodep->name();
         }
         iterateChildren(nodep);
         lineTrack(nodep);