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

rjl821 · 发表于 3 天前

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

x

如题

rjl821 · 发表于 3 天前

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

puxiancheng · 发表于前天 10:02

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

rjl821 · 发表于前天 10:42

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

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

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