Fix coverage of delayed nets

This commit is contained in:
Wilson Snyder 2024-02-08 20:25:17 -05:00
parent a23cf1ceea
commit 365537d8e3
2 changed files with 6 additions and 1 deletions

View File

@ -290,6 +290,7 @@ class ScopeVisitor final : public VNVisitor {
m_varScopes.emplace(std::make_pair(nodep, m_scopep), varscp);
m_scopep->addVarsp(varscp);
}
iterateChildren(nodep);
}
void visit(AstVarRef* nodep) override {
// VarRef needs to point to VarScope

View File

@ -17,8 +17,12 @@ module t;
wire #PDLY d_param = in;
initial begin
#2 in = 1'b0;
#2 in = 1'b1;
#100;
if (d_const != 1) $stop;
if (d_int != 1) $stop;
if (d_real != 1) $stop;
if (d_param != 1) $stop;
$write("*-* All Finished *-*\n");
$finish;
end