verilog event事件可综合吗