User/dev/ekarabulut/mldsa t bs (#50)

* randomized command sending test * completed zeroization and verif failure tests * added randomized test * added on the fly reset * added KATs * MICROSOFT AUTOMATED PIPELINE: Stamp 'user/dev/ekarabulut/MLDSA_TBs' with updated timestamp and hash after successful run --------- Co-authored-by: Emre Karabulut <“[email protected]”> Co-authored-by: Emre Karabulut <[email protected]>
chipsalliance · Dec 4, 2024 · 0ae924c · 0ae924c
1 parent 46d8b6e
commit 0ae924c
Show file tree

Hide file tree

Showing 31 changed files with 3,094 additions and 420 deletions.
diff --git a/.github/workflow_metadata/pr_hash b/.github/workflow_metadata/pr_hash
@@ -1 +1 @@
-ba20835b337f8b0f7b0b5b05412ea3a86284471103155009a5a86ef41d4be1f8eda2f1087224a0adafb950fac5d09b68
+bfab9f4c3a310bcbb8961b11e0776fa1072ee2a0020b992aea2202c0064cb25d472c215728ec88edb81798012624560a
diff --git a/.github/workflow_metadata/pr_timestamp b/.github/workflow_metadata/pr_timestamp
@@ -1 +1 @@
-1732586578
+1733249926
diff --git a/...a_top/uvmf/uvmf_template_output/project_benches/mldsa/tb/sequences/mldsa_sequences_pkg.sv b/...a_top/uvmf/uvmf_template_output/project_benches/mldsa/tb/sequences/mldsa_sequences_pkg.sv
@@ -38,9 +38,16 @@ package mldsa_sequences_pkg;
   `include "src/example_derived_test_sequence.svh"
   `include "src/ML_DSA_randomized_key_gen_sequence.svh"
   `include "src/ML_DSA_randomized_key_gen_and_sign_sequence.svh"
+  `include "src/ML_DSA_randomized_early_run_sequence.svh"
+  `include "src/ML_DSA_randomized_zeroize_sequence.svh"
   `include "src/ML_DSA_randomized_sign_gen_sequence.svh"
   `include "src/ML_DSA_randomized_verif_sequence.svh"
+  `include "src/ML_DSA_randomized_verif_fail_sequence.svh"
+  `include "src/ML_DSA_randomized_reset_sequence.svh"
   `include "src/ML_DSA_randomized_all_sequence.svh"
+  `include "src/ML_DSA_keygen_KATs_sequence.svh"
+  `include "src/ML_DSA_keygen_signing_KATs_sequence.svh"
+  `include "src/ML_DSA_verif_KATs_sequence.svh"
 
   // pragma uvmf custom package_item_additional begin
   // UVMF_CHANGE_ME : When adding new sequences to the src directory

diff --git a/...mf_template_output/project_benches/mldsa/tb/sequences/src/ML_DSA_keygen_KATs_sequence.svh b/...mf_template_output/project_benches/mldsa/tb/sequences/src/ML_DSA_keygen_KATs_sequence.svh
diff --git a/...ate_output/project_benches/mldsa/tb/sequences/src/ML_DSA_keygen_signing_KATs_sequence.svh b/...ate_output/project_benches/mldsa/tb/sequences/src/ML_DSA_keygen_signing_KATs_sequence.svh
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		ba20835b337f8b0f7b0b5b05412ea3a86284471103155009a5a86ef41d4be1f8eda2f1087224a0adafb950fac5d09b68
		bfab9f4c3a310bcbb8961b11e0776fa1072ee2a0020b992aea2202c0064cb25d472c215728ec88edb81798012624560a