[tasks] | |
prf | |
cvr | |
[options] | |
prf: mode prove | |
prf: depth 18 | |
cvr: mode cover | |
cvr: depth 32 | |
[engines] | |
smtbmc | |
[script] | |
read -formal -D AXILRD2WBSP wbm2axilite.v | |
read -formal -D AXILRD2WBSP faxil_master.v | |
read -formal -D AXILRD2WBSP fwb_slave.v | |
prep -top wbm2axilite | |
[files] | |
../../rtl/wbm2axilite.v | |
faxil_master.v | |
fwb_slave.v |