[options]
mode prove

[engines]
smtbmc

[script]
read -formal *.v
prep -top top

[files]
rtl/top.v
rtl/clk_gen.v