verilog/rtl/scan_controller/scan_mux.sby

[options]
mode prove
multiclock on

[engines]
smtbmc

[script]
read -formal -DMPRJ_IO_PADS=38 scan_controller.v
prep -top scan_controller

[files]
scan_controller.v
properties.v