From: lkcl <lkcl@web>
Date: Tue, 19 Apr 2022 17:29:09 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2692
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9eb521eec78e61c2cdc98e176938406515e033b7;p=libreriscv.git

---

diff --git a/openpower/sv/biginteger.mdwn b/openpower/sv/biginteger.mdwn
index 8f695ed06..49751e061 100644
--- a/openpower/sv/biginteger.mdwn
+++ b/openpower/sv/biginteger.mdwn
@@ -105,5 +105,8 @@ afterwards.  Essentially however there are three phases:
 * Calculation of the quotient estimate. This is Scalar division
   and can be ignored for the scope of this analysis
 * Big Integer multiply and subtract.
-* Carry-Correction with a big integer add if the estimate was wrong
-  by one digit.
+* Carry-Correction with a big integer add, if the estimate from
+  phase 1 was wrong by one digit.
+
+In essence then the primary focus of Vectorised Big-Int divide is in
+fact big-integer multiply (or, mul-and-subtract).