1.工具处理速度快，比模拟高效，两者不在一个数量级；

2.快速查错，有较强的debug能力；

3.支持复杂datapath优化；

4.支持先进门钟设计优化 （Clock Gating）；

5.可扩展性：可以验证整个SOC设计；

6.支持FPGA 设计流程；