formality失败，如何debug

522526tl · 发表于 2015-3-2 20:35:47

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

x

DC之后的网表和pr之后的网表做formality 但是failed！

请问该如何去debug呢

jacobshen · 发表于 2015-3-2 21:00:01

rtl和综合后的FM有没有过？

522526tl · 发表于 2015-3-2 21:21:54

回复 2# jacobshen
恩那个过了那个是加了svf的，所以过了；

icfbicfb · 发表于 2015-3-3 10:03:02

看具体的report

report_failing_points
report_unmatched_points

你开学了？

522526tl · 发表于 2015-3-3 12:05:36

回复 4# icfbicfb
恩是啊开学了今年9月份开始找工作了心里还没底呢；我先report看看哈

icfbicfb · 发表于 2015-3-3 12:13:54

找到工作了，估计你也没这兴趣发帖了，忙得很，

522526tl · 发表于 2015-3-3 12:17:13

回复 6# icfbicfb

恩这个倒是，但前提是得先找到啊，现在正发愁呢

taotao_ic · 发表于 2015-3-3 17:09:46

先从failed的latch/port/macro

[求助] formality失败，如何debug