verilog小工具,包括格式化,轻量级编译,testbench自动生成等,均经过测试可用。