verilog/rtl/fwpayload/fwrisc/ve/fwrisc_fetch_formal/formal/scripts/fwrisc_fetch_formal.sby

#****************************************************************************
#* fwrisc_fetch_formal.sby
#*
#* Formal template script 
#****************************************************************************


[options]
mode {MODE}
depth {DEPTH}

[engines]
smtbmc boolector

[script]
# TODO: add in RTL files
read -sv -formal {CORE_SRC_FILES}
prep -top fwrisc_fetch_formal_tb

[files]
fwrisc_fetch_formal_tb_defines.svh
{VE_DIR}/tb/fwrisc_fetch_formal_defines.svh