From: lkcl <lkcl@web>
Date: Wed, 16 Mar 2022 06:06:03 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~3045
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=92289dce89ab2a042516e13f57ea4151dc64ad93;p=libreriscv.git

---

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 74a61c751..b402a0799 100644
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -588,10 +588,9 @@ cltmadd RT, RA, RB, RC
 
 TODO: add link to explanation for where `RS` comes from.
 
-```
-temp = clmul((RA), (RB)) ^ (RC)
-(RT) = temp
-(RS) = temp
+``` 
+(RT) = RC ^ clmul((RA), (RB))
+(RS) = RA ^ RC
 ```
 
 ## `cldivrem` Carry-less Division and Remainder
@@ -686,10 +685,9 @@ gfbtmadd RT, RA, RB, RC
 
 TODO: add link to explanation for where `RS` comes from.
 
-```
-temp = gfbmadd((RA), (RB), (RC))
-(RT) = temp
-(RS) = temp
+``` 
+(RT) = gfbmadd((RA), (RB), (RC))
+(RS) = RA ^ RC
 ```
 
 ## `gfbinv` -- Binary Galois Field `GF(2^m)` Inverse