CI: Update Caliptra RTL

chipsalliance · Dec 6, 2023 · c006bea · c006bea
1 parent fb79076
commit c006bea
Show file tree

Hide file tree

Showing 18 changed files with 18 additions and 18 deletions.
diff --git a/hw-latest/caliptra-rtl b/hw-latest/caliptra-rtl
diff --git a/registers/src/csrng.rs b/registers/src/csrng.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/doe.rs b/registers/src/doe.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/dv.rs b/registers/src/dv.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/ecc.rs b/registers/src/ecc.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/entropy_src.rs b/registers/src/entropy_src.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/hmac.rs b/registers/src/hmac.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/kv.rs b/registers/src/kv.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/lib.rs b/registers/src/lib.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![no_std]
 #![allow(clippy::erasing_op)]

diff --git a/registers/src/mbox.rs b/registers/src/mbox.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/pv.rs b/registers/src/pv.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/sha256.rs b/registers/src/sha256.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/sha512.rs b/registers/src/sha512.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/sha512_acc.rs b/registers/src/sha512_acc.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/soc_ifc.rs b/registers/src/soc_ifc.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/soc_ifc_trng.rs b/registers/src/soc_ifc_trng.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/spi_host.rs b/registers/src/spi_host.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]

diff --git a/registers/src/uart.rs b/registers/src/uart.rs
@@ -1,6 +1,6 @@
 // Licensed under the Apache-2.0 license.
 //
-// generated by caliptra_registers_generator with caliptra-rtl repo at e181dafe3035dc2d4e16dd2ecbfd0d1565a63525
+// generated by caliptra_registers_generator with caliptra-rtl repo at 7d0fe340cbed88ea49d27a54fee52ac3c336276c
 //
 #![allow(clippy::erasing_op)]
 #![allow(clippy::identity_op)]
+206 −0		src/doe/formal/properties/fv_constraints.sv
+91 −0		src/doe/formal/properties/fv_cover_points.sv
+161 −0		src/doe/formal/properties/fv_doe_core_cbc.sv
+533 −0		src/doe/formal/properties/fv_doe_core_cbc_pkg.sv
+118 −0		src/doe/formal/properties/fv_doe_decryption/fv_constraints.sv
+46 −0		src/doe/formal/properties/fv_doe_decryption/fv_cover_points.sv
+397 −0		src/doe/formal/properties/fv_doe_decryption/fv_doe_decrypt.sv
+128 −0		src/doe/formal/properties/fv_doe_encryption/fv_constraints.sv
+46 −0		src/doe/formal/properties/fv_doe_encryption/fv_cover_points.sv
+348 −0		src/doe/formal/properties/fv_doe_encryption/fv_doe_encrypt.sv
+230 −0		src/doe/formal/properties/fv_doe_iv/fv_doe_iv_process.sv
+37 −0		src/doe/formal/properties/fv_doe_iv/fv_doe_iv_process_pkg.sv
+89 −0		src/doe/formal/properties/fv_doe_keymem/fv_constraints.sv
+46 −0		src/doe/formal/properties/fv_doe_keymem/fv_cover_points.sv
+273 −0		src/doe/formal/properties/fv_doe_keymem/fv_keymem.sv
+195 −0		src/doe/readme.md
+ −		src/ecc/formal/fv_ecc_block_overview.pdf
+45 −0		src/ecc/formal/properties/coverpoints/fv_add_sub_alter_coverpoints.sv
+86 −0		src/ecc/formal/properties/coverpoints/fv_arith_unit_coverpoints.sv
+130 −0		src/ecc/formal/properties/coverpoints/fv_ecc_dsa_ctrl_coverpoints.sv
+49 −0		src/ecc/formal/properties/coverpoints/fv_ecc_montgomerymultiplier_coverpoints.sv
+145 −0		src/ecc/formal/properties/coverpoints/fv_ecc_pm_ctrl_coverpoints_m.sv
+117 −0		src/ecc/formal/properties/ecc_reduced_instantiations.sv
+138 −0		src/ecc/formal/properties/fv_add_sub_alter.sv
+70 −0		src/ecc/formal/properties/fv_add_sub_constraints.sv
+204 −0		src/ecc/formal/properties/fv_dsa_ctrl_constraints.sv
+263 −0		src/ecc/formal/properties/fv_ecc_arith_unit.sv
+1,428 −0		src/ecc/formal/properties/fv_ecc_dsa_ctrl.sv
+355 −0		src/ecc/formal/properties/fv_ecc_dsa_sequencer.sv
+167 −0		src/ecc/formal/properties/fv_ecc_fau.sv
+547 −0		src/ecc/formal/properties/fv_ecc_hmac_drbg_interface.sv
+113 −0		src/ecc/formal/properties/fv_ecc_hmac_drbg_interface_constraints.sv
+1,101 −0		src/ecc/formal/properties/fv_ecc_pm_ctrl_abstract.sv
+3,065 −0		src/ecc/formal/properties/fv_ecc_pm_sequencer.sv
+210 −0		src/ecc/formal/properties/fv_ecc_ram_tdp_file.sv
+269 −0		src/ecc/formal/properties/fv_montmultiplier.sv
+252 −0		src/ecc/formal/properties/fv_montmultiplier_glue.sv
+218 −0		src/ecc/formal/properties/fv_pe.sv
+126 −0		src/ecc/formal/properties/fv_pe_final.sv
+275 −0		src/ecc/formal/properties/fv_pe_first.sv
+140 −0		src/ecc/formal/properties/fv_scalar_blinding.sv
+80 −0		src/ecc/formal/readme.md
+110 −0		src/hmac_drbg/formal/properties/fv_constraints_m.sv
+66 −0		src/hmac_drbg/formal/properties/fv_cover_points.sv
+586 −0		src/hmac_drbg/formal/properties/fv_hmac_drbg.sv
+72 −0		src/hmac_drbg/formal/properties/fv_hmac_drbg_pkg.sv
+94 −0		src/hmac_drbg/formal/readme.md
+85 −0		src/sha512_masked/formal/properties/fv_constraints.sv
+50 −0		src/sha512_masked/formal/properties/fv_coverpoints.sv
+919 −0		src/sha512_masked/formal/properties/fv_sha512_masked.sv
+197 −0		src/sha512_masked/formal/properties/fv_sha512_masked_pkg.sv
+64 −0		src/sha512_masked/formal/readme.md