luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-06 01:54:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Support automatic bins for enum coverpoints (#8462) (#8464)

Browse Source
This commit is contained in:
David Harris
2026-09-24 09:58:22 -04:00
committed by GitHub
parent 976ec63531
commit 88082a4e96
4 changed files with 110 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Covergroup.cpp
+19
View File
@@ -493,12 +493,31 @@ class FunctionalCoverageVisitor final : public VNVisitor {
}
// IEEE 1800-2023 19.5.3/19.11.1: partition first, then apply exclusions.
// IEEE 1800-2023 19.5.2: an enum coverpoint has one automatic bin per enumeration value
void createEnumAutoBins(AstCoverpoint* coverpointp, AstNodeExpr* exprp,
const AstEnumDType* enump) {
FileLine* const fl = coverpointp->fileline();
for (const AstEnumItem* itemp = enump->itemsp(); itemp;
itemp = VN_AS(itemp->nextp(), EnumItem)) {
AstConst* const lop = newValueConst(fl, VN_AS(itemp->valuep(), Const)->num(), exprp);
AstInsideRange* const rangep = new AstInsideRange{fl, lop, lop->cloneTree(false)};
rangep->dtypeFrom(exprp);
coverpointp->addBinsp(
new AstCoverBin{fl, "auto[" + itemp->name() + "]", rangep, false, false});
}
}
void createImplicitAutoBins(AstCoverpoint* coverpointp, AstNodeExpr* exprp, int autoBinMax) {
for (AstNode* nodep = coverpointp->binsp(); nodep; nodep = nodep->nextp()) {
const VCoverBinsType kind = VN_AS(nodep, CoverBin)->binsType();
if (kind != VCoverBinsType::BINS_IGNORE && kind != VCoverBinsType::BINS_ILLEGAL)
return;
}
if (const AstEnumDType* const enump
= VN_CAST(exprp->dtypep()->skipRefToEnump(), EnumDType)) {
createEnumAutoBins(coverpointp, exprp, enump);
return;
}
const int width = exprp->width();
const int arithmeticWidth = width + 1;
V3Number total{coverpointp, arithmeticWidth};