(no commit message)

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 74a61c751ee7ba4123796092c65fbf5cc42e5925..b402a0799ff97015cc12ec179cdcb13c2983a375 100644 (file)
--- 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