M-Labs
/
riscv-formal-nmigen
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update README

This commit is contained in:
Donald Sebastian Leung 2020-08-10 14:14:40 +08:00
parent 1cae183569
commit 10296cbf3b
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
insns/README.md
View File

@ -50,6 +50,8 @@ _Note: This section is under development and will be updated as more classes are
- `InsnSlli`: SLLI instruction
- `InsnSrli`: SRLI instruction
- `InsnSrai`: SRAI instruction
- `InsnRV32IIType`: RV32I I-Type Instruction
- `InsnJalr`: JALR instruction
## Parameters