用formality验证失败，全是DFF不匹配

rjl821 · 发表于 2025-7-30 21:58:55

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

×

如题

rjl821 · 发表于 2025-7-30 21:59:41

不知道是不是因为库的问题引起的

dikonpep · 发表于 2025-7-31 10:02:13

如果大规模的，一般是设置有问题。
svf文件设置没有
undriven设置
综合网表用的语法，verilog2001?2005?sv?，看综合log有没有Error和异常Warning

rjl821 · 发表于 2025-7-31 10:42:45

puxiancheng 发表于 2025-7-31 10:02
如果大规模的，一般是设置有问题。
svf文件设置没有
undriven设置

找到问题了，svf读错文件了

账号		自动登录	找回密码
密码			注册

[求助] 用formality验证失败，全是DFF不匹配