OpenCores
Username:
Password:

Remember me
Register

Browse

uRisc-V

Issue List
CSR issue? #1
Open elchanan_oc opened this issue almost 3 years ago
elchanan_oc commented almost 3 years ago

Hi. Using Formal Verification, we think we've found an issue with some CSR instructions. What would be the best way to share the scenario?

Assignee
No one
Labels
Bug
© copyright 1999-2018 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.