后仿真与时序验证的疑惑

wangsheng0415 · 发表于 2008-5-21 11:36:09

您需要登录才可以下载或查看，没有账号？注册

×

请问这两者什么区别呢?是不是做后仿真验证包括了时序验证，属于动态时序验证了，而且还要进行逻辑验证。单独做静态时序验证的话，就不考虑设计的逻辑验证了.

wangsheng0415 · 发表于 2008-5-23 15:00:58

恩，就跟形式验证和模拟验证的区别一样吧.
布局布线之后的后仿真是不是一方面进行功能验证,但是在时序部分很难覆盖所有时序路径,所以要单独进行STA。我想问的是STA是不是不考虑功能验证?望大侠指点

wangsheng0415 · 发表于 2008-5-23 17:23:14

谢谢!

wangsheng0415 · 发表于 2008-5-23 19:43:37

时序和功能分开验证，
用形式验证来证明布局布线后的网表和RTL的功能相同。
用时序验证工具确保时序关系正确。后仿真都可以免了????

wangsheng0415 · 发表于 2008-5-23 19:44:48

异步逻辑无法进行STA，那只能仿真了?

wangsheng0415 · 发表于 2008-5-26 09:46:29

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

wangsheng0415 · 发表于 2008-5-29 11:42:08

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

wangsheng0415 · 发表于 2008-5-30 10:24:54

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

wangsheng0415 · 发表于 2008-5-30 10:26:38

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

账号		自动登录	找回密码
密码			注册

站长推荐 /1