primetime 一定要跟formality 搭配使用嗎

琴狂 · 发表于 2013-5-16 18:52:02

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

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

x

primetime 與dc complier 產生的timing 是否一樣?

QQEDA · 发表于 2013-5-17 09:22:13

primetime驗的更仔細，結果會與dc compiler不太一樣。

dc report出來的比較rough，不會主動幫你show出非同步訊號產生的timing

而primetime會把所有path都show出來，包含你可能沒有下constraints的非同步路徑

primetime還會幫你檢查是否存在沒有限制的clock路徑

primetime可以單獨分析timing，不一定要跟formality一起使用

formality只是用來檢查你RTL跟合成器合出來的有沒有一致，

以及合成後的gate-level跟apr後的gate-level的一致性

primetime + formality即可以確保你不需要作dynamic-simulation

如果不使用formality的話，你就需要dynamic-simulation來確定一下你合成後的function是否正常

琴狂 · 发表于 2013-5-17 13:40:02

感謝大大的詳細解答

whisper0409 · 发表于 2013-6-24 20:18:51

回复 2# QQEDA

那请问，在P&R后，用PT做完静态时序分析和formality验证，就可以避免做后仿呢？

whisper0409 · 发表于 2013-6-24 20:21:20

primetime 與dc complier 產生的timing 是否一樣?
琴狂发表于 2013-5-16 18:52

登录/注册后可看大图

那请问，在P&R后，用PT做完静态时序分析和formality验证，就可以避免做后仿呢？

stephen_0921 · 发表于 2013-6-25 09:47:30

不能不做后仿吧，万一sdc中有写错的地方，除了后仿其他方法很难发现啊。

Gary.wang · 发表于 2013-6-27 10:47:56

这两个没有必然联系吧

michaelzhang561 · 发表于 2013-7-15 09:57:38

二楼解答的很到位。同问四楼问题。

william_liwei · 发表于 2013-7-15 10:48:48

formality 过了， sta 过了，照样还是要做post sim

gweivinny · 发表于 2013-11-10 15:03:43

学习学习

[求助] primetime 一定要跟formality 搭配使用嗎

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

相关帖子

站长推荐 /2