MLDSA zeroization and debug scan assertions

[ekarabu]

Expanded Zeroization Assertions:

1. Added SVA checks to verify that rho_p_reg, privatekey_reg, seed_reg, entropy_reg, and sign_rnd_reg are completely cleared when MLDSA_ZEROIZATION or MLDSA_SCAN_DEBUG is asserted.
2. Memory Interface Zeroization Assertions: Included assertions for skencode_mem_rd_data, skencode_wr_data, skdecode_mem_wr_data, skdecode_rd_data, and mldsa_mem_rdata0_bank to confirm zeroization. Checks for mldsa_mem_wdata and mldsa_mem_wdata0_bank to guarantee secure memory clearing.
3. Private Key Memory Zeroization Checks: Introduced word-by-word assertions for MLDSA private key memory banks to confirm that memory is wiped upon zeroize_mem_done assertion.

Waits for chipsalliance/adams-bridge#102

Copilot wasn't able to review any files in this pull request.

Files not reviewed (1)

• src/integration/asserts/caliptra_top_sva.sv: Language not supported

[mojtaba-bisheh]

you need to revert this change since it points to older commits. the daily branch has the most updated ABR