From: lkcl <lkcl@web>
Date: Fri, 9 Jun 2023 12:51:40 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ce7294a7eed15a2c3d8efb0e16d80535d1441968;p=libreriscv.git

---

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index 5a739b338..ae197f9ac 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -131,7 +131,7 @@ The following identification-criteria may be easily verified by taking
 a copy of the table above and striking out each line that fails each
 test.  Only EXT000-063 are not by a "process of elimination"
 
-Length detection:
+**Length detection**: (critically-important to be short)
 
 ```
     if PO1                   return 64
@@ -140,7 +140,7 @@ Length detection:
     else                     return 64
 ```
 
-EXT200-231:
+**EXT200-231:**
 
 ```
     if not PO9                return False