xilinx verilog 语法技巧--综合属性