From 23bff97f8b7f5d429d0e385e5914fb8a07b06c00 Mon Sep 17 00:00:00 2001 From: Ved Shanbhogue Date: Thu, 7 Mar 2024 07:09:36 -0600 Subject: [PATCH 1/2] fix expo format --- zabha.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/zabha.adoc b/zabha.adoc index 0f7b791..db99039 100644 --- 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 `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)^)` bits of the original value in `rd`. Similar to the AMOs specified in the A extension, the Zabha extension mandates From aa0367de525889e45a1562aa571336a33acf17be Mon Sep 17 00:00:00 2001 From: Ved Shanbhogue Date: Thu, 7 Mar 2024 08:03:29 -0600 Subject: [PATCH 2/2] fix expo --- zabha.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/zabha.adoc b/zabha.adoc index db99039..d4eefa7 100644 --- 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