fix regfile 0 val and sec script (#119)

* fix sec script

* fix reg fil 0 val
This commit is contained in:
Davide Schiavone 2023-05-31 14:42:22 +02:00 committed by GitHub
parent 1253782b42
commit cd76f83e12
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 3 deletions

View file

@ -709,7 +709,7 @@ module cve2_core import cve2_pkg::*; #(
cve2_register_file_ff #(
.RV32E (RV32E),
.DataWidth (32),
.WordZeroVal (32'0)
.WordZeroVal (32'h0)
) register_file_i (
.clk_i (clk_i),
.rst_ni(rst_ni),

View file

@ -23,8 +23,7 @@ reset ~rst_ni
check_sec -map -auto
check_sec -waive -waive_signals gen_regfile_ff.test_en_i
check_sec -waive -waive_signals cve2_core_imp.gen_regfile_ff.test_en_i
check_sec -waive -waive_signals test_en_i
check_sec -prove