常用的verilog综合工具

综合工具DC(Design Compile)
仿真工具：VCS、NCVerilog、Modelsim
静态时序分析工具：Primetime
形似验证工具：Formality

Need latest tool

形式验证还可以用:lec
lint 工具：nlint leda spyglass
综合:rc
还有后端工具encounter 等等