From: lkcl <lkcl@web>
Date: Thu, 21 Apr 2022 13:06:48 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2646
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=76d9664f4c93264744b006cb8243319c480aae5b;p=libreriscv.git

---

diff --git a/openpower/sv/biginteger/analysis.mdwn b/openpower/sv/biginteger/analysis.mdwn
index 408a27bc8..cdcddc61e 100644
--- a/openpower/sv/biginteger/analysis.mdwn
+++ b/openpower/sv/biginteger/analysis.mdwn
@@ -135,7 +135,8 @@ of Knuth M: <https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=openpower/sv/b
 
 ```
       // this becomes the basis for sv.madded in RS=RC Mode,
-      // where k is RC
+      // where k is RC. k takes the upper half of product
+      // and adds it in on the next iteration
       k = 0;
       for (i = 0; i < m; i++) {
          unsigned product = u[i]*v[j] + k;
@@ -168,7 +169,7 @@ RA*RB+RC+RD cannot overflow, so does not require
 setting an additional CA flag. We first cover the chain of
 RA*RB+RC as follows:
 
-    RT0, RC0 = RA0 * RB0 + RC
+    RT0, RC0 = RA0 * RB0 + 0
           |
           +----------------+
                            |