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