We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ccf8c7e commit 0ace95dCopy full SHA for 0ace95d
model/riscv_insts_base.sail
@@ -764,8 +764,6 @@ $[name "Fence (Instruction)"]
764
*/
765
union clause ast = FENCEI : unit
766
767
-// The rs1, rd and imm fields are marked as reserved to indicate
768
-// that they are not currently used but may be reserved for future extensions.
769
mapping clause encdec = FENCEI()
770
<-> reserved_bits_12(ZERO) @ reserved_bits_5(ZERO) @ 0b001 @ reserved_bits_5(ZERO) @ 0b0001111
771
0 commit comments