formality求助

阿兰alan · 发表于 2022-11-16 18:59:07

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

x

做formality的时候fail掉了，工具给出原因有required input和unmatch point。有没有哪位大佬遇到过类似情况？

阿兰alan · 发表于 2022-11-16 19:14:55

困扰我快一周的问题了，哪位大佬遇到过类似的描述吗

hiee · 发表于 2022-11-16 19:30:22

rtl => netlist?看看是不是有undriven

GamerHan · 发表于 2022-11-17 08:54:59

感觉好像是库设置的有问题

阿兰alan · 发表于 2022-11-17 09:19:40

hiee 发表于 2022-11-16 19:30
rtl => netlist?看看是不是有undriven

对的，是r2g。你的意思是让我看报出来的这些fail point有没有undriven的pin吗？

阿兰alan · 发表于 2022-11-17 09:20:40

GamerHan 发表于 2022-11-17 08:54
感觉好像是库设置的有问题

但如果是库设置的问题，前面setup的过程就会报错吧

GamerHan · 发表于 2022-11-17 09:45:17

阿兰alan 发表于 2022-11-17 09:20
但如果是库设置的问题，前面setup的过程就会报错吧

不是，会提示有blackbox

hiee · 发表于 2022-11-17 10:01:28

阿兰alan 发表于 2022-11-17 09:19
对的，是r2g。你的意思是让我看报出来的这些fail point有没有undriven的pin吗？
...

有个undriven的报告

greatao · 发表于 2022-11-17 11:50:05

点开看看哪里不同啊。

[求助] formality求助