tools

看波形用debussy & verdi
功能仿真用VCS & ncverilog
形式验证用formality 
STA 检查用PT
功耗分析用nanosim
FPGA 做辅助验证。

你可能感兴趣的:(tools)