求助formality加入antenna的问题。

chxibin · 发表于 2011-1-20 23:16:33

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

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

x

综合后的网表和布局布线后的网表比对，不通过，布局布线后的网表加入了antenna，ref和impl的unmatch点都是加入antenna的地方，verify也没通过。求指点。

yangyuf1 · 发表于 2011-1-22 00:03:03

这个antenna跟formality (LEC)有什么关系?

jihuijie · 发表于 2011-2-14 12:27:13

antenna

cklee1006 · 发表于 2011-2-15 13:39:03

You can create a lib file, antenna.lib with a cell, antenna, then use lc_shell to translate it into antenna.db. And then to add the file, antenna.db, into the list for the command, 'read_db' when using Formality.

=== The File: antenna.lib ===
cell(antenna) {
pin(ANT) {
direction: input ;
capacitance: 0.03 ;
}
}

listening · 发表于 2011-2-20 00:47:36

学习了

eric_quan · 发表于 2011-3-2 19:51:56

最近在学习DFT，有用到formality，这个问题还没有遇到，谢谢楼主提问。

fu2006 · 发表于 2011-3-4 13:20:56

这个antenna是个什么东西哦，你写了个db后，还是formal被当成了一个blackbox吗？

zhang2046 · 发表于 2011-3-5 15:34:02

看起来是包含这个库就好了? 学习了...

elliot_gao · 发表于 2011-3-6 12:27:23

赞同！

[求助] 求助formality加入antenna的问题。

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

相关帖子