verilog语句可综合vs不可综合