formality使用的db问题

kyaaaa · 发表于 2024-1-23 10:38:56

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

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

×

本帖最后由 kyaaaa 于 2024-1-23 10:41 编辑

hi 想问下用formality验证的整个流程，包括RTL2DC-Netlist，DC-Netlist2PR-Netlist，吃的db文件必须要保持一致吗？我跑DC-Netlist2PR-Netlist的时候，布线后网表STD cell混用了SVT和LVT，把LVT相关的db文件添加进去跑FT，flow成功，是不是说明db文件可以有少量增加的，但不能完全不一样啊，还是吃的db可以完全不一样呢？

kyaaaa · 发表于 2024-1-24 09:04:17

顶顶

zero_0 · 发表于 2024-1-24 09:48:55

只要所有单元都能成功link上就行了，能多吃不能少吃

kyaaaa · 发表于 2024-1-24 11:10:58

zero_0 发表于 2024-1-24 09:48
只要所有单元都能成功link上就行了，能多吃不能少吃

谢谢，那reference和implementation吃的db文件内容完全不一样的话，是不是不能成功link并验证啊？

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

[求助] formality使用的db问题

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

浏览过的版块

站长推荐 /1