verilog知识总结