[dv,pmp] Add double fault pass flag

This commit is contained in:
Marno van der Maas 2022-10-17 15:57:36 +01:00
parent 5876ffcbac
commit 1ab3bfea05

View file

@ -745,6 +745,9 @@
+pmp_randomize=1
+pmp_allow_illegal_tor=1
+directed_instr_0=riscv_load_store_rand_addr_instr_stream,50
sim_opts: >
+enable_double_fault_detector=1
+is_double_fault_detected_fatal=0
rtl_test: core_ibex_base_test
rtl_params:
PMPEnable: 1
@ -847,6 +850,7 @@
+mseccfg=MML:1,MMWP:0,RLB:0
sim_opts: >
+enable_double_fault_detector=1
+is_double_fault_detected_fatal=0
rtl_test: core_ibex_base_test
rtl_params:
PMPEnable: 1