mirror of
https://github.com/openhwgroup/cva6.git
synced 2025-04-21 04:37:14 -04:00
23 lines
287 B
Text
23 lines
287 B
Text
[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
|