关于formality 匹配失败怎么debug的问题（已解决）

strivenbu · 发表于 2012-3-8 09:51:44

问题已经解决老大帮我看了下发现是sdc的问题因为给的sdc有些这样的设置：
set_logic_zero之类的port，所以在匹配的时候这些都接到tie 0或者1 了，把那些去掉重新run过就没问题了，感谢大家！

混乱三千年 · 发表于 2012-3-12 16:23:14

把ＤＦＴ测试端置０

白兰地 · 发表于 2013-12-2 17:29:17

回复 2# A1985

请问一下svf是一定要加的吗，还是要添加时序的时候才加，我的一直出错，而且都是在VDD GND，而且VDD还有出现在port上面，这个要怎么改呢？谢谢。。

fangwang85 · 发表于 2018-12-28 10:04:39

回复 1# strivenbu

mark mark

我要去NV數位 · 发表于 2024-3-12 18:47:32

少下了 set_constant r:/WORK/ 嗎?

HexZH · 发表于 2024-12-21 20:21:04

白兰地发表于 2013-12-2 17:29
回复 2# A1985

您可能已经解决该疑问了，但为了后续人的学习冒昧借楼解释:
一定要加的，SVF文件包含了DC对RTL代码到NETLIST间做的修改记录，默认生成的和手动生成的SVF文件都读进去后，FM才能有完整的指导guidance

[求助] 关于formality 匹配失败怎么debug的问题（已解决）