fomality 卡住

河源皮 · 发表于 2018-9-4 10:34:57

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

x

综合完成跑rtl2prelayout形式验证，用的synopsys的formality。
吃进rtl,netlist,svf，跑到96%左右就卡住，没说fail,就这一只跑，肯定是有异常了，但是这种情况该怎么debug?

河源皮 · 发表于 2018-9-4 13:10:01

多等了一个小时，跑出来了，SUCCEDD

fhy420462303 · 发表于 2018-9-4 14:44:18

如果电路比较大的话，需要的时间就比较久！
而且和你的内存，CPU都有关系！

河源皮 · 发表于 2018-9-5 14:04:18

如果电路比较大的话，需要的时间就比较久！
而且和你的内存，CPU都有关系！
fhy420462303 发表于 2018-9-4 14:44

登录/注册后可看大图

恩，你说的对，这就是经验。

[讨论] fomality 卡住