vcs bus_arbiter.v master_bfm.v tb.v fsm2.sva -sverilog -PP -assert enable_diag -cm assert
