diff --git a/rvfi/insns/README.md b/rvfi/insns/README.md index 1c5de27..5382933 100644 --- a/rvfi/insns/README.md +++ b/rvfi/insns/README.md @@ -102,12 +102,19 @@ Below is a list of instructions currently supported by this port of the riscv-fo - `InsnSlliw`: SLLIW instruction - `InsnSrliw`: SRLIW instruction - `InsnSraiw`: SRAIW instruction + - `InsnRV64IRType`: RV64I R-Type Instruction + - `InsnAddw`: ADDW instruction + - `InsnSubw`: SUBW instruction + - `InsnSllw`: SLLW instruction + - `InsnSrlw`: SRLW instruction + - `InsnSraw`: SRAW instruction - `InsnSd`: SD instruction ### ISAs - `IsaRV32I`: RV32I Base ISA - `IsaRV32M`: RV32M Standard Extension +- `IsaRV64I`: RV64I Base ISA ## Core-specific parameters