Zvkned: add infrastructure for Zvkned

To support the implementation of Zvkned extension in SAIL, this creates the necessary infrastructure(i.e., a file to hold it, and the extension macro), preparing the tree for the Zvkned implementation. Signed-off-by: Charalampos Mitrodimas <[email protected]> Co-authored-by: KotorinMinami <[email protected]>
riscv · Feb 24, 2025 · 9826514 · 9826514
1 parent 80c4928
commit 9826514
Show file tree

Hide file tree

Showing 5 changed files with 436 additions and 0 deletions.
diff --git a/Makefile.old b/Makefile.old
@@ -68,6 +68,8 @@ SAIL_DEFAULT_INST += riscv_insts_vext_fp_red.sail
 SAIL_DEFAULT_INST += riscv_insts_zicbom.sail
 SAIL_DEFAULT_INST += riscv_insts_zicboz.sail
 
+SAIL_DEFAULT_INST += riscv_insts_zvkned.sail
+
 SAIL_SEQ_INST  = $(SAIL_DEFAULT_INST) riscv_jalr_seq.sail
 SAIL_RMEM_INST = $(SAIL_DEFAULT_INST) riscv_jalr_rmem.sail riscv_insts_rmem.sail
 

diff --git a/model/CMakeLists.txt b/model/CMakeLists.txt
@@ -76,6 +76,7 @@ foreach (xlen IN ITEMS 32 64)
                 "riscv_insts_zbkx.sail"
                 "riscv_insts_zicond.sail"
                 ${vext_srcs}
+                "riscv_insts_zvkned.sail"
                 "riscv_insts_zicbom.sail"
                 "riscv_insts_zicboz.sail"
             )
@@ -166,6 +167,7 @@ foreach (xlen IN ITEMS 32 64)
                 ${sail_vm_srcs}
                 # Shared/common code for the cryptography extension.
                 "riscv_types_kext.sail"
+                "riscv_types_zvk.sail"
             )
 
             if (variant STREQUAL "rvfi")

diff --git a/model/riscv_extensions.sail b/model/riscv_extensions.sail
@@ -100,6 +100,9 @@ enum clause extension = Ext_Zksed
 // Scalar & Entropy Source Instructions: ShangMi Suite: SM3 Hash Cipher Instructions
 enum clause extension = Ext_Zksh
 
+// Vector Instructions: NIST Suite: Vector AES Block Cipher
+enum clause extension = Ext_Zvkned
+
 // Floating-Point in Integer Registers (half precision)
 enum clause extension = Ext_Zhinx