This repository has been archived by the owner on Apr 27, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Bump submodules - Synchronises implementation of indexed load/store instructions. On branch master Your branch is up-to-date with 'origin/master'. Changes to be committed: modified: xcrypto-ref modified: xcrypto-spec
- Loading branch information
1 parent
51e9cb4
commit 3ed6ed6
Showing
2 changed files
with
2 additions
and
2 deletions.
There are no files selected for viewing
Submodule xcrypto-ref
updated
15 files
+1 −1 | extern/libscarv | |
+1 −1 | extern/riscv-opcodes | |
+1 −2 | flow/verilator/srec.cpp | |
+6 −0 | rtl/coprocessor/scarv_cop_common.vh | |
+30 −7 | rtl/coprocessor/scarv_cop_idecode.v | |
+69 −35 | rtl/coprocessor/scarv_cop_mem.v | |
+5 −4 | rtl/coprocessor/scarv_cop_top.v | |
+87 −0 | verif/formal/fml_chk_instr_ldr_bu.v | |
+77 −0 | verif/formal/fml_chk_instr_ldr_hu.v | |
+53 −0 | verif/formal/fml_chk_instr_ldr_w.v | |
+88 −0 | verif/formal/fml_chk_instr_str_b.v | |
+79 −0 | verif/formal/fml_chk_instr_str_h.v | |
+57 −0 | verif/formal/fml_chk_instr_str_w.v | |
+2 −0 | verif/formal/fml_common.vh | |
+13 −3 | verif/formal/fml_top.v |
Submodule xcrypto-spec
updated
4 files
+6 −2 | doc/tex/appx-instr_encode.tex | |
+6 −0 | doc/tex/appx-instr_syntax.tex | |
+125 −0 | doc/tex/spec-instruction.tex | |
+1 −1 | extern/riscv-opcodes |