[options]
mode prove
depth 5

[engines]
smtbmc boolector
smtbmc z3
smtbmc yices

[script]
verific -vlog-incdir ./include
verific -sv \
    riscv.sv \
    pmp_entry.sv \
    pmp.sv

verific -import -all pmp
prep -nordff -ifx -top pmp

[files]
include/riscv.sv
src/pmp_entry.sv
src/pmp.sv
