subline如何检查Verilog语法