verilog 加法 综合为什么门