(no commit message)

[libreriscv.git] / openpower / sv / po9_encoding / discussion.mdwn

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index c7aa16b4942e48aa917706b884857cd1ca67d831..d85bdebc025e9ac7abba378bf70151cc6e64e280 100644 (file)
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -132,6 +132,7 @@ EXT200-231:
     if not PO9                return False
     if Word[30:31] == 0b00    return False
     if Word[33:37] != 0b10001 return False
+    # if Word[33:37] != XXXXX return False # 50-bit
     return True
 ```
 
@@ -146,3 +147,16 @@ EXT900:
     return True
 ```
 
+EXT000-063:
+
+```
+    if PO1                     return False # or other reserved
+    if not PO9                 return False
+    if Word[30:31] =  0b00     return False
+    if Word[31]    =  0b0      return False
+    if Word[30:31] =  0b01 and
+       Word[6:29 ] =  0x000000 return False
+    return True
+```
+
+