后仿真与时序验证的疑惑

wangsheng0415

时序验证包括动态和静态的方法，后仿真是动态的吧。如果用STA,EC,后仿真就不用了，是这个意思.?

toolgread

时序验证只验证cell到cell之间的setup,hold time不验证function

yangyuf

两个都作就是问了保险。

xyz8070

其实不是后仿不需要，只是这可能花的时间太多，所以人们想用STA+CVE代替。
但是这种方法还是有漏洞的， 因为STA只检查边沿timing,而CVE只看register和combination的抽象功能。
有种情况时，当一个低速pad被用在高速的地方时（快速的变化无法通过pad传出）， STA+CVE都查不出问题，
但是后仿就能查出。
现在的策略是:
STA+CVE，如果有时间，挑些critical path来做后仿。

P.S: 后仿的意思是门级仿真吧？带SDF的那种？ 因为各个公司对这些名词的定义不尽相同。。。

wangsheng0415

CVE是什么?co-verification?那还是动态仿真?

xyz8070

CVE是形式验证，就是将不同层次的模型进行比较，确保一致性。
比如RTL 和 gatelevel netlist.
这也是用工具实现的。

clarkkevin

虽然可以用形式验证保证PR后与RTL逻辑等同，可以用PT保证没有timing violation。
但是这并不能cover到所有的问题。特别是对于一些特殊的设计。比如自己gating clock如果不做后仿真clock都出现毛刺都不知道。
至于异步电路在设计时就需要从结构上保证数据传递时稳定的。根本不用STA。都是flase path

sean12

后仿真是带有版图信息的，和时序仿真还是不一样的

wangsheng0415

像毛刺,冒险等，只能后仿了吧

wangsheng0415

时序仿真是综合后，P&R之前的，只包括门延迟，后仿真还包括线延迟吧