We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
I have some code which reads:
xer_ov_o = dut.o.xer_ov.data # ... comb += Assert(xer_ov_o == dut.i.xer_ov)
This assertion always fails when I run the formal check. However, if I change the above assertion to:
comb += Assert(dut.o.xer_ov.data == dut.i.xer_ov)
then the assertion works! (If it helps, dut.o.xer_ov.data is a Signal(2).)
I'm not sure why this should be an issue; both dut.o.xer_ov.data and xer_ov_o should refer to the same Python object. Why should this be an issue?
Thanks.
The text was updated successfully, but these errors were encountered:
Disregard this issue; I had a small typo which got past two code reviews, but as Murphy's Law applies, I just found it after opening the ticket. :/
Sorry, something went wrong.
No branches or pull requests
I have some code which reads:
This assertion always fails when I run the formal check. However, if I change the above assertion to:
then the assertion works! (If it helps, dut.o.xer_ov.data is a Signal(2).)
I'm not sure why this should be an issue; both dut.o.xer_ov.data and xer_ov_o should refer to the same Python object. Why should this be an issue?
Thanks.
The text was updated successfully, but these errors were encountered: