From: lkcl <lkcl@web>
Date: Wed, 20 Apr 2022 16:52:14 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2676
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=92c9835ca32d576c0dab0d5b28259907be525989;p=libreriscv.git

---

diff --git a/openpower/sv/biginteger.mdwn b/openpower/sv/biginteger.mdwn
index fd26967ea..464b4c4e3 100644
--- a/openpower/sv/biginteger.mdwn
+++ b/openpower/sv/biginteger.mdwn
@@ -162,6 +162,14 @@ fact big-integer multiply (more specifically, mul-and-subtract).
     RT = lowerhalf(product)
     RS = upperhalf(product)
 
+# Instructions
+
+**DRAFT** These are both VA-Form:
+
+|0     5|6   10|11   15|16   20|21|22 |26   31|
+|-------|------|-------|-------|--|---|-------|
+| EXT04 |  RT  |   RA  |   RB  |   RC |   XO  |
+
 # Appendix
 
 see [[appendix]]