From: lkcl <lkcl@web>
Date: Thu, 5 May 2022 06:07:34 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2467
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fe2815b63c72f3327438e6d1bc6ec478e67dc492;p=libreriscv.git

---

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index 1a69d9207..c2855da78 100644
--- a/openpower/sv/vector_ops.mdwn
+++ b/openpower/sv/vector_ops.mdwn
@@ -268,6 +268,22 @@ used not just for carry lookahead, also a special type of predication mask opera
   `((P|G)+G)^P`
 * <https://en.m.wikipedia.org/wiki/Carry-lookahead_adder>
 
+From QLSKY.png:
+
+```
+    x0 = nand(CIn, P0)
+    C0 = nand(x0, ~G0)
+
+    x1 = nand(CIn, P0, P1)
+    y1 = nand(G0, P1)
+    C1 = nand(x1, y1, ~G1)
+
+    x2 = nand(CIn, P0, P1, P2)
+    y1 = nand(G0, P1)
+    C1 = nand(x1, y1, ~G1)
+
+```
+
 ```
      P = (A | B) & Ci
      G = (A & B)