ternary function changed to BM2 form

[libreriscv.git] / openpower / sv / tern_bin.mdwn

diff --git a/openpower/sv/tern_bin.mdwn b/openpower/sv/tern_bin.mdwn
index d1fb67448f92f1638b856ba3653661dd890a611e..124e1765dc004fe8ad2f9c626ceb45f1c7d7111f 100644 (file)
--- a/openpower/sv/tern_bin.mdwn
+++ b/openpower/sv/tern_bin.mdwn
@@ -1,3 +1,12 @@
+
+
+<!-- hide -->
+* <https://bugs.libre-soc.org/show_bug.cgi?id=1034> design/implement crfternlogi binlut etc.
+* <https://bugs.libre-soc.org/show_bug.cgi?id=1023> regfile analysis
+* <https://bugs.libre-soc.org/show_bug.cgi?id=1017> ls007 RFC
+<!-- show -->
+
+
 ## GPR Ternary Logic Immediate
 
 Add this section to Book I 3.3.13
@@ -66,7 +75,7 @@ CRB-form
 |----|----|----|-----|-----|-----|-----|-----|---|----------|
 | PO | BF | msk|BFA  | msk | BFB | TLI | XO  |TLI| CRB-Form |
 
-* `crternlogi BF, BFA, BFB, BFC, TLI, msk`
+* `crternlogi BF, BFA, BFB, TLI, msk`
 
 Pseudocode:
 
@@ -129,7 +138,7 @@ Special registers altered:
 
 Add this section to Book I 3.3.13
 
-VA-form
+BM2-form
 
 | 0-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26 | 27-31 | Form    |
 |-----|------|-------|-------|-------|----|-------|---------|