#32 the new instruction format renamed to RI type

parts/insn-list.adoc

@@ -14,18 +14,18 @@ include::i-type-format.adoc[]
 .Instruction format: S-type
 include::s-type-format.adoc[]
 
-.Instruction format: CI-type
-include::ci-type-format.adoc[]
+.Instruction format: RI-type
+include::ri-type-format.adoc[]
 
 .Capability manipulation instructions
 [%header%autowidth.stretch]
 |===
 |Mnemonic |Format |Func3  |Func7 | rs1 | rs2 | rd | imm [4:0] | imm[11:0] | World | Variant
 |<<rev-operation,REVOKE>>      |R |`001`    |`0000000` | C | - | - | - | - | * | *
 |<<shrink,SHRINK>>      |R |`001`    |`0000001` | I | I | C | - | - | * | *
-|<<tighten,TIGHTEN>>     |CI |`001`    |`0000010` | C | - | C | Z | - | * | *
+|<<tighten,TIGHTEN>>     |RI |`001`    |`0000010` | C | - | C | Z | - | * | *
 |<<delin,DELIN>>       |R |`001`    |`0000011` | - | - | C | - | - | * | *
-|<<field-query,LCC>>         |CI |`001`    |`0000100` | C | - | I | Z | - | * | *
+|<<field-query,LCC>>         |RI |`001`    |`0000100` | C | - | I | Z | - | * | *
 |<<cursor-set,SCC>>         |R |`001`    |`0000101` | I | - | C | - | - | * | *
 |<<split,SPLIT>>       |R |`001`    |`0000110` | C | I | C | - | - | * | *
 |<<seal,SEAL>>        |R |`001`    |`0000111` | C | - | C | - | - | * | *

parts/prog-model.adoc

@@ -439,13 +439,13 @@ include::s-type-format.adoc[]
 R-type instructions receive up to three register operands, and I-type/S-type instructions
 receive up to two register operands and a 12-bit-wide immediate operand.
 
-{isa_name} also adds a new instruction format, the CI-type format, which is used for
+{isa_name} also adds a new instruction format, the RI-type format, which is used for
 compressed immediate instructions.
 
-.CI-type instruction format
-include::ci-type-format.adoc[]
+.RI-type instruction format
+include::ri-type-format.adoc[]
 
-CI-type instructions receive up to two register operands and a 5-bit-wide immediate operand.
+RI-type instructions receive up to two register operands and a 5-bit-wide immediate operand.
 
 [#reset]
 == System Reset