github上下载verible后，可在不联网的情况下，在vim中检查verilog语法，或者格式优化（自动缩进等），verible下还有其他插件，待探索（xxx --helpfull）