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

Fix disable iff in assertions. Closes #1404.

Browse Source 
Signed-off-by: Wilson Snyder <[email protected]>
This commit is contained in:
Peter Monsson
2019-12-22 15:49:10 -05:00
committed by Wilson Snyder
parent 3a70bbc70c
commit ea979c8f83
5 changed files with 115 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3AssertPre.cpp
+10 -4
View File
@@ -116,10 +116,16 @@ private:
// Block is the new expression to evaluate
AstNode* blockp = nodep->propp()->unlinkFrBack();
if (nodep->disablep()) {
blockp = new AstAnd(nodep->disablep()->fileline(),
new AstNot(nodep->disablep()->fileline(),
nodep->disablep()->unlinkFrBack()),
blockp);
if (VN_IS(nodep->backp(), Cover)) {
blockp = new AstAnd(nodep->disablep()->fileline(),
new AstNot(nodep->disablep()->fileline(),
nodep->disablep()->unlinkFrBack()),
blockp);
} else {
blockp = new AstOr(nodep->disablep()->fileline(),
nodep->disablep()->unlinkFrBack(),
blockp);
}
}
// Unlink and just keep a pointer to it, convert to sentree as needed
m_senip = nodep->sensesp();