mirror of
https://github.com/lowRISC/ibex.git
synced 2025-06-28 01:12:02 -04:00
[dv,pmp] Different parameters for pmp full random test
This commit is contained in:
parent
d2b6a7dfad
commit
e317666d48
1 changed files with 6 additions and 3 deletions
|
@ -738,14 +738,17 @@
|
||||||
and allow PMP regions to overlap.
|
and allow PMP regions to overlap.
|
||||||
A large number of iterations will be required since this introduces a huge
|
A large number of iterations will be required since this introduces a huge
|
||||||
state space of configurations.
|
state space of configurations.
|
||||||
iterations: 100
|
iterations: 1000
|
||||||
gen_test: riscv_rand_instr_test
|
gen_test: riscv_rand_instr_test
|
||||||
gen_opts: >
|
gen_opts: >
|
||||||
+instr_cnt=6000
|
+instr_cnt=6000
|
||||||
+pmp_randomize=1
|
+pmp_randomize=1
|
||||||
+pmp_max_offset=00024000
|
+pmp_max_offset=00040000
|
||||||
+pmp_allow_illegal_tor=1
|
+pmp_allow_illegal_tor=1
|
||||||
+directed_instr_0=riscv_load_store_rand_addr_instr_stream,50
|
+directed_instr_0=riscv_load_store_rand_instr_stream,40
|
||||||
|
+directed_instr_1=riscv_load_store_hazard_instr_stream,40
|
||||||
|
+directed_instr_2=riscv_multi_page_load_store_instr_stream,40
|
||||||
|
+directed_instr_3=riscv_load_store_rand_addr_instr_stream,40
|
||||||
sim_opts: >
|
sim_opts: >
|
||||||
+enable_double_fault_detector=1
|
+enable_double_fault_detector=1
|
||||||
+is_double_fault_detected_fatal=0
|
+is_double_fault_detected_fatal=0
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue