求助：Formality 出现的奇怪问题

hxd_0620 · 发表于 2009-12-10 15:35:00

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

x

用同样的RTL代码，dc综合后出来两种网表：gtech netlist和gate level netlist，分别与RTL进行Formality的形式验证，均通过，但是gtech和gate level二者之间的形式验证却无法通过，有人能给点建议吗？谢谢了！

signallv · 发表于 2009-12-25 15:22:16

期待答案中。。。。

wingy · 发表于 2009-12-25 17:20:33

查查综合的log,最好把warning都消除，有些RTL里有悬空的信号会出现formality不过的现象

站长推荐 /2