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); } }