From af2c5081f3c76bfd8b080dfe976ac609d707d5ab Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Fri, 9 Jun 2023 02:16:49 +0100
Subject: [PATCH]

---
 openpower/sv/po9_encoding/discussion.mdwn | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index eea7d25c5..c7aa16b49 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -130,7 +130,19 @@ EXT200-231:
 
 ```
     if not PO9                return False
-    if Word[30:31] != 0b00    return False
+    if Word[30:31] == 0b00    return False
     if Word[33:37] != 0b10001 return False
+    return True
+```
+
+EXT900:
+
+```
+    if not PO9                 return False
+    if Word[30:31] != 0b00     return False
+    if Word[62]    =  0b1      return False
+    if Word[62:63] =  0b00 and
+       Word[6:29 ] =  0x000000 return False
+    return True
 ```
 
-- 
2.30.2