-
Notifications
You must be signed in to change notification settings - Fork 95
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
Failed Checks in picorv32 Verification Following Quickstart Guide #36
Comments
Is there any update on this? I also tried running the quickstart of picorv32 and csrw_mcycle_ch0, csrw_minstret_ch0 and insn_c_xor_ch0 failed. |
I also got an error for |
Looking at the output logs included by @myrealname and me, it seems that all the errors are caused by unsatisfiable assumptions ( |
Took a clean clone of the repo. Followed the quickstart guide to get going. Unfortunately the verification of the picorv32 results in two failed checks; csrw_mcycle_ch0 & csrw_minstret_ch0. While the quickstart guide doesn't indicate that the picorv32 should pass all of the checks, I have assumed that would be the case. I have pasted the logfile output below, of the mcycle check:
Did I miss something? Is there something missing in the instructions? Or is it something else entirely?
Thanks in advance, for any help.
The text was updated successfully, but these errors were encountered: