后仿真与时序验证的疑惑

MOSFET

先搞清动态时序分析和静态时序分析的区别~~~
你能保证你的testbech可以测试所有情况吗?
你能保证你的testbech能覆盖所有路径吗?
你能容许你的后仿真跑几天才能出结果吗?
对于大的设计你不可能做到上面这些,所以要引入STA!

MOSFET

不考虑，只保证没有时序违约~~主要检查setup和hold on
功能验证要放在coding的时候做，一般有专门的功能验证方法和软件
如Specman，VERA。
此后的综合，DFT，CTS，布局布线了只需要进行formal verificaiton。
这是功能等价性验证，保证网表功能和前面代码有着等价的功能
所以后面再不需要进行功能验证了。