verilog语法检查