# fpv_timer.tcl — typical commercial FPV setup (vendor syntax varies)
analyze   -sv periodic_timer.sv periodic_timer_fv.sv
elaborate -top periodic_timer_fv -param W 8
clock     clk
reset     rst                  ;# simulate reset, then start from the reset state
prove     -all
report    -summary