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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
123
返回列表 发新帖
楼主: 河源皮

[资料] Formal+STA 能否代替 Post-Sim

[复制链接]
发表于 2020-3-3 17:10:59 | 显示全部楼层
kankan
发表于 2020-3-3 20:03:45 | 显示全部楼层
因为设计中不可能没有异步逻辑,所以后仿是必须的。
发表于 2020-3-9 08:02:08 | 显示全部楼层
正在學習formal
发表于 2020-5-12 11:23:54 | 显示全部楼层
后仿对time cover是一小部分,绝大部分timing是靠STA来保证;
但是后仿可以检查出很明显的STA约束错误,如果不小心哪个地方约错了,而且后仿又没有发现,那就完蛋了;
后仿同时要COVER ECO是否合入,COVER muticycle设置是否合理,如果设错了并且后仿路径跑到了,就会有功能错误;
综上,后仿必不可少;
发表于 2020-6-22 15:57:15 | 显示全部楼层
发表于 2024-4-3 14:59:05 | 显示全部楼层
Thanks
发表于 2024-4-5 09:55:37 | 显示全部楼层


这个才是最重要的。避免约束错误。pre-layout可以不跑。post-layout不跑,胆子有点大。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-4-30 21:51 , Processed in 0.023529 second(s), 5 queries , Gzip On, Redis On.

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