在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 2710|回复: 6

[求助] 菜鸟求助:请问做完STA和形式验证为何还要做后仿真?

[复制链接]
发表于 2012-10-9 12:07:15 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

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

x
RTRTRT,请各位达人帮忙解答~感谢~!!!
发表于 2012-10-9 12:40:24 | 显示全部楼层
如果rtl coding style是不定态传播的,STA可以保证是完整的,那完全没必要做后仿。
发表于 2012-10-16 13:36:29 | 显示全部楼层
对于异步逻辑,STA是检测不到的, 所以要后仿真。比如异步复位/置位。
发表于 2013-1-8 15:28:55 | 显示全部楼层
STA只是根据你设定的相关时序进行检查的,也就是说你的时序约束文件设置的有问题,STA也有可能将错就错的,简单一个例子:对于两个异步的clock domain之间存在数据传送,但是你设定时序约束文件的时候直接设定成了false path. 这样的话就有问题了, 通过后仿是为了确保时序约束没有设错。
发表于 2013-1-8 20:00:36 | 显示全部楼层
嗯,3-4楼说到了一部分
发表于 2018-5-18 19:43:58 | 显示全部楼层
666666666
发表于 2018-5-19 09:25:40 | 显示全部楼层
STA 可能出问题在: async path,  un-clked path,  有问题的false path, constrain设置错的MCP 等
LEC : timing model和LIB的误差可能无法检测
还有unsetted mem,FF 等等。
只有通过pos sim(+corner sdf)才尽可能看到结果
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 15:09 , Processed in 0.027369 second(s), 8 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表