VexRiscv imem/dmem checks #5
Merged
Conversation
SpinalHDL 0.11.3 VexRiscv
merge original repo
cores/VexRiscv/dmemcheck.sby
Outdated
|
|
||
| [script] | ||
| read_verilog -sv dmemcheck.sv | ||
| read_verilog /home/spinalvm/hdl/formal/riscv-formal/cores/VexRiscv/VexRiscv.v |
cliffordwolf
Nov 26, 2017
Collaborator
I think this should be a relative path. Other users will not have riscv-formal in the same location.
I think this should be a relative path. Other users will not have riscv-formal in the same location.
|
Hoo damned XD, thanks for spoting this |
|
Fixed in 2c26e75 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
No description provided.