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

---

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index c2855da78..a30694cd0 100644
--- a/openpower/sv/vector_ops.mdwn
+++ b/openpower/sv/vector_ops.mdwn
@@ -279,9 +279,15 @@ From QLSKY.png:
     C1 = nand(x1, y1, ~G1)
 
     x2 = nand(CIn, P0, P1, P2)
-    y1 = nand(G0, P1)
-    C1 = nand(x1, y1, ~G1)
-
+    y2 = nand(G0, P1, P2)
+    z2 = nand(G1, P2)
+    C1 = nand(x2, y2, z2, ~G2)
+
+    # Gen*
+    x3 = nand(G0, P1, P2, P3)
+    y3 = nand(G1, P2, P3)
+    z3 = nand(G2, P3)
+    G* = nand(x3, y3, z3, ~G3)
 ```
 
 ```