New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conditional event controls ("iff") #1482
Comments
Original Redmine Comment The event parsing needs some rewriting to handle this, but is relatively straight forward. Added a disabled t_iff.v test as a placeholder. |
This feature still seems to be missing. Are there any plans to support iff in events? |
Perhaps you'd be willing to submit a pull to support it? (On the develop-v5 branch.) |
I'd be interested in trying to make an attempt. If you have any starter tips (like where is event parsing done?) that would be awesome! If not, I'll maybe try looking on my own |
@kbieganski checking to make sure you aren't already working on "iff"? Do you know what files might need updating to support it?
|
For event control expressions |
I'm not working on this and not planning to, so you're good to go @sahilshahpatel (or anyone). |
Do we have the support for "iff"?? Also am wondering if there is documentation for what SVA support is present in Verilator at the moment? |
I haven't been working on this myself, just haven't had the time. If you want to, go ahead. If not, I still want to get to it eventually, just not sure when. |
This is now supported, see: #4626 |
I'm getting failures on a similar construct:
|
@udif can you make a small test case and open a new issue please? |
By testcase do you mean a pull request only adding the test that fails? |
A pull request with the test, or if it is small you can just post the .v file that is needed in the issue itself. |
Author Name: Paul Donahue
Original Redmine Issue: 1482 from https://www.veripool.org
Section 9.4.2.3 of IEEE 1800-2017 allows "iff" qualifiers on @ event controls. The example code in 9.4.2.3 is fairly straightforward:
I'm currently using Verilator only for lint and I get this error on the above code:
syntax error, unexpected iff, expecting ')' or ',' or or
The above code seems equivalent to the following which Verilator does support (at least for lint):
I also get lint errors when doing something similar in assertions:
Can you introduce iff support? Thanks.
The text was updated successfully, but these errors were encountered: