Merge pull request #32 from ved-rivos/format

fix expo format
riscv · Mar 7, 2024 · 9d480f6 · 9d480f6
2 parents 12ccde2 + aa0367d
commit 9d480f6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/zabha.adoc b/zabha.adoc
@@ -20,8 +20,8 @@ further provides the `AMOCAS.[B|H]` instructions.
 ....
 
 Byte and halfword AMOs always sign-extend the value placed in `rd`, and
-ignore the `XLEN-1:(2^(width + 3))` bits of the original value in `rs2`.
-The `AMOCAS.[B|H]` instructions similarly ignore the `XLEN-1:(2^(width + 3))`
+ignore the stem:[XLEN-1:2^{(width + 3)}] bits of the original value in `rs2`.
+The `AMOCAS.[B|H]` instructions similarly ignore the stem:[XLEN-1:2^{(width + 3)}]
 bits of the original value in `rd`.
 
 Similar to the AMOs specified in the A extension, the Zabha extension mandates