commit 0a720ef087072e3c231dd11f17379dfeffbb1324
author Philipp Wagner <phw@lowrisc.org> Thu Jul 16 16:34:29 2020 +0100
committer Philipp Wagner <mail@philipp-wagner.com> Thu Jul 16 16:46:09 2020 +0100
tree 0b5ab43e245ae6771c90cf91d5afe2c84d9361fb
parent 5b2fc188a436a0882fe4f266be0c40e448f7fa01

[otbn] Fix operation description for BN.RSHI

* Indicate in Python syntax the concatenation of two registers.
* Use consistent names for decoded values.

Signed-off-by: Philipp Wagner <phw@lowrisc.org>

hw/ip/otbn/data/insns.yml

diff --git a/hw/ip/otbn/data/insns.yml b/hw/ip/otbn/data/insns.yml
index bbf3599..8f4d80b 100644
--- a/hw/ip/otbn/data/insns.yml
+++ b/hw/ip/otbn/data/insns.yml
@@ -1416,9 +1416,9 @@
       d = UInt(wrd)
       a = UInt(wrs1)
       b = UInt(wrs2)
-      imm = Uint(imm)
+      shift_bit = Uint(imm)
     operation: |
-      WDR[d] = ((rs1 | rs2) >> im)[WLEN-1:0]
+      WDR[d] = (((a << WLEN) | b) >> shift_bit)[WLEN-1:0]
     encoding:
       scheme: bnr
       mapping: