[options] mode prove depth 100 [engines] smtbmc [script] read -formal fifo_v3.sv read -formal fifo_v3_properties.sv prep -top fifo_v3 [files] fifo_v3_properties.sv ../src/fifo_v3.sv
