详细介绍了verilog