From: lkcl <lkcl@web>
Date: Tue, 8 Dec 2020 17:26:34 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1472
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bb21bf75cf4da2d086ca916f66fb02c60d4bd3dd;p=libreriscv.git

---

diff --git a/openpower/sv/av_opcodes.mdwn b/openpower/sv/av_opcodes.mdwn
index 8b0deb4e0..d323819d3 100644
--- a/openpower/sv/av_opcodes.mdwn
+++ b/openpower/sv/av_opcodes.mdwn
@@ -18,7 +18,14 @@ TODO
 
 vpkpx is a 32-bit to 16-bit 8888 into 1555 conversion
 
+SV notes:
 
+a single 32-bit to 16-bit operation should suffice, fitting cleanly into one single scalar op:
+
+    dest[0]     = src[7]
+    dest[1 : 5] = src[8 :12]
+    dest[6 :10] = src[16:20]
+    dest[11:15] = src[24:28]
 
 ### vpks[*][*]s