From 92c9835ca32d576c0dab0d5b28259907be525989 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Wed, 20 Apr 2022 17:52:14 +0100
Subject: [PATCH]

---
 openpower/sv/biginteger.mdwn | 8 ++++++++
 1 file changed, 8 insertions(+)

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]]
-- 
2.30.2