formality的match的机制

odielpx · 发表于 2011-11-15 22:32:16

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

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

x

有关formality的match有几个问题想请教。
formality的match有如下几个过程：
1.确定compare points，设计中的ports，nets以及DFF都为compare points
2.match两个设计中的compare points。
match分为based on name和signature analysis
based on name好理解，在compare points名字相同的即为匹配上
那signature analysis评判match的依据是什么呢？
3.划分逻辑锥。那逻辑锥是如何划分的呢？
望各位多多指教！多谢多谢……

buhekele · 发表于 2011-11-16 11:16:09

同问，等待高手解惑！

gaojing · 发表于 2011-11-17 18:39:17

学习中

a262915239 · 发表于 2011-11-20 16:32:24

等待回答中。。。

ln76wlguo · 发表于 2011-11-20 19:26:38

compare points
一般是 Path End Point,如触发器， Output Ports， BlackBox/Inputs

tuosituoye · 发表于 2011-11-20 19:27:15

是先通过名称match吧

ln76wlguo · 发表于 2011-11-20 19:30:17

signature analysis: 根据一些逻辑进行分析。例如，你将一个 Netlist 中的触发器名称改一下，和之间的 Netlist Verify，仍然可以match，就是用这种方法

cheernixue · 发表于 2011-11-20 19:35:21

不知道大家用formality多一点还是用conformal多一点

cheernixue · 发表于 2011-11-20 19:37:01

我们单位主要用syn的工具，cadence的很少

cheernixue · 发表于 2011-11-20 19:38:38

好像有个叫什么cone，椎体，等效成椎体，末端是ff

[求助] formality的match的机制

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

相关帖子

站长推荐 /2