Clean up individual Breker constraint files

This commit is contained in:
Jordan Carlin 2025-03-20 20:30:47 -07:00
parent 0fdbed5514
commit bdcd0e85dd
No known key found for this signature in database
8 changed files with 12 additions and 159 deletions

View file

@ -1,27 +1,5 @@
trek: trek:
svip:
global:
scenarios:
scenario_count:
# primary control for length of test
value: 10
riscv:
extensions:
# disable hypervisor extension by setting value to 0
# if your system does not support this feature
h_hypervisor:
value: 0
weights: weights:
# disable testing of Sv57: Page-Based 57-bit Virtual-Memory System
# if your system does not support this feature
# pss_top.rvMmu.rvMmuOp.RvMmuOp::satpModeSv57: 0
# qemu-riscv64 does not ignore writes to WARL bits in hgatp
# Comment out the next line unless your design has this issue
# pss_top.rvMmu.rvMmuOp.RvMmuOp::writeHgatpWarl : 0
# turn off MMU Tests # turn off MMU Tests
pss_top.rvMmu.rvMmuOp: 0 pss_top.rvMmu.rvMmuOp: 0

View file

@ -1,27 +1,5 @@
trek: trek:
svip:
global:
scenarios:
scenario_count:
# primary control for length of test
value: 10
riscv:
extensions:
# disable hypervisor extension by setting value to 0
# if your system does not support this feature
h_hypervisor:
value: 0
weights: weights:
# disable testing of Sv57: Page-Based 57-bit Virtual-Memory System
# if your system does not support this feature
# pss_top.rvMmu.rvMmuOp.RvMmuOp::satpModeSv57: 0
# qemu-riscv64 does not ignore writes to WARL bits in hgatp
# Comment out the next line unless your design has this issue
# pss_top.rvMmu.rvMmuOp.RvMmuOp::writeHgatpWarl : 0
# turn off MMU Tests # turn off MMU Tests
pss_top.rvMmu.rvMmuOp: 0 pss_top.rvMmu.rvMmuOp: 0

View file

@ -1,27 +1,5 @@
trek: trek:
svip:
global:
scenarios:
scenario_count:
# primary control for length of test
value: 10
riscv:
extensions:
# disable hypervisor extension by setting value to 0
# if your system does not support this feature
h_hypervisor:
value: 0
weights: weights:
# disable testing of Sv57: Page-Based 57-bit Virtual-Memory System
# if your system does not support this feature
# pss_top.rvMmu.rvMmuOp.RvMmuOp::satpModeSv57: 0
# qemu-riscv64 does not ignore writes to WARL bits in hgatp
# Comment out the next line unless your design has this issue
# pss_top.rvMmu.rvMmuOp.RvMmuOp::writeHgatpWarl : 0
# turn off MMU Tests # turn off MMU Tests
pss_top.rvMmu.rvMmuOp: 0 pss_top.rvMmu.rvMmuOp: 0

View file

@ -19,12 +19,6 @@ trek:
# force a single memory block # force a single memory block
min: 1 min: 1
max: 1 max: 1
riscv:
extensions:
# disable hypervisor extension
# if your system does not support this feature
h_hypervisor:
value: 0
coherency: coherency:
cacheline_states: cacheline_states:
scenario_length: scenario_length:

View file

@ -1,27 +1,5 @@
trek: trek:
svip:
global:
scenarios:
scenario_count:
# primary control for length of test
value: 10
riscv:
extensions:
# disable hypervisor extension by setting value to 0
# if your system does not support this feature
h_hypervisor:
value: 0
weights: weights:
# disable testing of Sv57: Page-Based 57-bit Virtual-Memory System
# if your system does not support this feature
# pss_top.rvMmu.rvMmuOp.RvMmuOp::satpModeSv57: 0
# qemu-riscv64 does not ignore writes to WARL bits in hgatp
# Comment out the next line unless your design has this issue
# pss_top.rvMmu.rvMmuOp.RvMmuOp::writeHgatpWarl : 0
# turn off MMU Tests # turn off MMU Tests
pss_top.rvMmu.rvMmuOp: 0 pss_top.rvMmu.rvMmuOp: 0

View file

@ -1,27 +1,5 @@
trek: trek:
svip:
global:
scenarios:
scenario_count:
# primary control for length of test
value: 10
riscv:
extensions:
# disable hypervisor extension by setting value to 0
# if your system does not support this feature
h_hypervisor:
value: 0
weights: weights:
# disable testing of Sv57: Page-Based 57-bit Virtual-Memory System
# if your system does not support this feature
# pss_top.rvMmu.rvMmuOp.RvMmuOp::satpModeSv57: 0
# qemu-riscv64 does not ignore writes to WARL bits in hgatp
# Comment out the next line unless your design has this issue
# pss_top.rvMmu.rvMmuOp.RvMmuOp::writeHgatpWarl : 0
# turn off MMU Tests # turn off MMU Tests
pss_top.rvMmu.rvMmuOp: 0 pss_top.rvMmu.rvMmuOp: 0

View file

@ -1,27 +1,18 @@
trek: trek:
svip: # svip:
global: # global:
scenarios: # scenarios:
scenario_count: # scenario_count:
# primary control for length of test # # primary control for length of test
value: 10 # value: 10
riscv: # riscv:
extensions: # extensions:
# disable hypervisor extension by setting value to 0 # # disable hypervisor extension by setting value to 0
# if your system does not support this feature # # if your system does not support this feature
h_hypervisor: # h_hypervisor:
value: 0 # value: 0
# weights: # weights:
# disable testing of Sv57: Page-Based 57-bit Virtual-Memory System
# if your system does not support this feature
# pss_top.rvMmu.rvMmuOp.RvMmuOp::satpModeSv57: 0
# qemu-riscv64 does not ignore writes to WARL bits in hgatp
# Comment out the next line unless your design has this issue
# pss_top.rvMmu.rvMmuOp.RvMmuOp::writeHgatpWarl : 0
# turn off MMU Tests # turn off MMU Tests
# pss_top.rvMmu.rvMmuOp: 0 # pss_top.rvMmu.rvMmuOp: 0

View file

@ -1,27 +1,5 @@
trek: trek:
svip:
global:
scenarios:
scenario_count:
# primary control for length of test
value: 10
riscv:
extensions:
# disable hypervisor extension by setting value to 0
# if your system does not support this feature
h_hypervisor:
value: 0
weights: weights:
# disable testing of Sv57: Page-Based 57-bit Virtual-Memory System
# if your system does not support this feature
# pss_top.rvMmu.rvMmuOp.RvMmuOp::satpModeSv57: 0
# qemu-riscv64 does not ignore writes to WARL bits in hgatp
# Comment out the next line unless your design has this issue
# pss_top.rvMmu.rvMmuOp.RvMmuOp::writeHgatpWarl : 0
# turn off MMU Tests # turn off MMU Tests
pss_top.rvMmu.rvMmuOp: 0 pss_top.rvMmu.rvMmuOp: 0