4.4 Verilog HDL语言的可综合与仿真特性