一致性验证跑了2天还没完成

改脚本，肯定有地方没写对

单机跑？

一般这么大规模，多久时间能跑完？

是r2g还是g2g? r2g的话倒也有可能，是6 7百万门还是6 7百万instance？

r2g 吧， 6、7百万门

综合是rc还是dc做的？

现在比到多少个百分点了？

EDA高性能计算
国外：AMD：单集群超过10万个核；高通：单集群超过10万个核；
国内：
华为海思：超过3万核；2013年实施。
上海超算：200万亿次，超过1600节点，超过2万核；2012年扩容。
深圳超算：超过2500节点，超过1万核；2012年实施。
展讯通信：超过6000核；2013年实施。

flip flop输入太多，逻辑太复杂就容易时间长。

查下有没有abort的模块，这种lec会解很久
我的都跑70个小时