aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/ast/genrtlil.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2016-09-19 01:30:07 +0200
committerClifford Wolf <clifford@clifford.at>2016-09-19 01:30:07 +0200
commitaaa99c35bdcde8bec9d44ca23814f323a4e09c75 (patch)
treec579f3d437d2a6239ba2a31d3ff7f908e8c045bd /frontends/ast/genrtlil.cc
parentd009cdd6eef5a24a11584a543bab8543f3940f6c (diff)
downloadyosys-aaa99c35bdcde8bec9d44ca23814f323a4e09c75.tar.gz
yosys-aaa99c35bdcde8bec9d44ca23814f323a4e09c75.tar.bz2
yosys-aaa99c35bdcde8bec9d44ca23814f323a4e09c75.zip
Added $past, $stable, $rose, $fell SVA functions
Diffstat (limited to 'frontends/ast/genrtlil.cc')
-rw-r--r--frontends/ast/genrtlil.cc10
1 files changed, 10 insertions, 0 deletions
diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index d00738ecd..3c57162aa 100644
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -765,6 +765,16 @@ void AstNode::detectSignWidthWorker(int &width_hint, bool &sign_hint, bool *foun
}
break;
}
+ if (str == "\\$past") {
+ if (GetSize(children) > 0) {
+ sub_width_hint = 0;
+ sub_sign_hint = true;
+ children.at(0)->detectSignWidthWorker(sub_width_hint, sub_sign_hint);
+ width_hint = max(width_hint, sub_width_hint);
+ sign_hint = false;
+ }
+ break;
+ }
/* fall through */
// everything should have been handled above -> print error if not.