From d735b29a8f8fc942e6adf15db514a481abf11452 Mon Sep 17 00:00:00 2001
From: Ryszard Rozak <rrozak@antmicro.com>
Date: Tue, 20 May 2025 14:12:59 +0200
Subject: [PATCH] Add type key and value to coverage.dat

Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
---
 include/verilated_cov.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/verilated_cov.cpp b/include/verilated_cov.cpp
index a9bc7c1cd..d81742199 100644
--- a/include/verilated_cov.cpp
+++ b/include/verilated_cov.cpp
@@ -390,6 +390,10 @@ public:
                         hier = val;
                     } else {
                         // Print it
+                        if (key == "page") {
+                            const std::string type = val.substr(2, val.find('/') - 2);
+                            name += keyValueFormatter(VL_CIK_TYPE, type);
+                        }
                         name += keyValueFormatter(key, val);
                     }
                 }