Add comments

Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
This commit is contained in:
Ryszard Rozak 2025-06-11 16:07:49 +02:00
parent 7fd0729710
commit b8d072faf4
2 changed files with 3 additions and 1 deletions

View File

@ -2956,7 +2956,8 @@ public:
};
class AstCoverInc final : public AstNodeStmt {
// Coverage analysis point; increment coverage count
// @astgen op1 := toggleExprp : Optional[AstNodeExpr]
// @astgen op1 := toggleExprp : Optional[AstNodeExpr] // [After V3Clock] Expression to which
// the node corresponds. Used only in toggle coverage
//
// @astgen ptr := m_declp : AstCoverDecl // [After V3CoverageJoin] Declaration
public:

View File

@ -640,6 +640,7 @@ public:
void visit(AstCoverDecl* nodep) override {
std::vector<string> pointSuffixes;
if (nodep->isToggle()) {
// Changes 0 -> 1 and 1 -> 0 have separate counters
pointSuffixes = {"_0", "_1"};
} else {
pointSuffixes = {""};