问下关于formality的问题~~关于verify过程

eeleader-mcu

问下关于formality的问题~~关于verify过程 [复制链接]

用formality验证RTL代码和DC综合出的代码~verify的时候进度从昨天晚上到今天一直卡在95%的进度动不了了~

请教有没有大神遇到过这种情况？是确实卡住了还是可能花的时间比较长，应该多等等？？

在redhat的终端里的消息如下：

Status:  Verifying...
start_gui
.............................. 0F/0A/5380P/2613U (67%) 10/13/10 20:44 408MB/1650.74sec
Compare point DIG_LMS_MA/RX_D7_IN_TMP_reg[3] failed (is not equivalent)
Status:  Matching hierarchy...

Status:  Verifying...
.............................. 1F/0A/7614P/378U (95%) 10/13/10 21:15 408MB/2608.68sec
.............................. 1F/0A/7614P/378U (95%) 10/13/10 21:46 408MB/3300.01sec
.............................. 1F/0A/7614P/378U (95%) 10/13/10 22:25 477MB/4254.46sec
.............................. 1F/0A/7614P/378U (95%) 10/13/10 22:55 477MB/5009.25sec
.............................. 1F/0A/7614P/378U (95%) 10/13/10 23:31 477MB/5873.21sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 00:10 477MB/6848.16sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 00:50 477MB/7794.67sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 01:20 477MB/8579.74sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 01:51 477MB/9340.43sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 02:22 477MB/10080.96sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 02:56 477MB/10918.87sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 03:27 477MB/11645.91sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 03:57 477MB/12381.43sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 04:27 477MB/13108.33sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 04:58 477MB/13846.07sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 05:28 477MB/14589.53sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 05:59 477MB/15358.99sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 06:29 477MB/16031.21sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 06:59 477MB/16769.99sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 07:30 477MB/17508.39sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 08:00 477MB/18244.59sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 08:30 477MB/18984.52sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 09:01 477MB/19725.86sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 09:31 477MB/20472.40sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 10:02 477MB/21160.09sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 10:33 477MB/21725.48sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 11:09 477MB/22222.61sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 11:39 477MB/22762.69sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 12:10 477MB/23467.76sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 12:40 539MB/24195.75sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 13:13 539MB/24969.34sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 13:49 539MB/25837.30sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 14:24 539MB/26709.10sec
.............................. 1F/0A/7614P/378U (95%) 10/14/10 14:54 539MB/27472.52sec

eeleader

可能陷入死循环了。也可能电脑搞死了！