成哥德尔系统的标准性能测试程序了，在使用新的定制芯片之前，FPGA版本的哥德尔系统分析这个案例的用时是25分34秒。
启动缺陷分析程序，王一男开始计时，也许是错觉吧，王一男觉得LED灯闪烁的速度快了很多，十秒，二十秒，不对，还没到二十秒，十七秒刚过，“哔哔哔哔”，看到王一男按下启动按钮，李文静起身准备去倒杯水喝，结果第一步还没有迈出去，刺耳的蜂鸣声就响了起来。屏幕上哗啦哗啦的出现了一行行的字符。
“这么快，不是又是 No Falut 吧”，王一男吓了一跳，“不像啊，这输出的挺多的啊，让我看看”，
“去掉筛选环节，减少竞争锁，还有引入预处理单元”，“嗯，结果也没问题”。
一伙人面面相觑，“这就搞定了？”
简直就像用惯了小天才的人，突然拿到一台酷睿啊，好半天没人说话，“算完了？”，李文静弱弱的问，“好像是的”，
“多少时间？”，“差不多十七秒吧”。
终于，房间里一阵欢呼声响了起来，回过神来的大伙开始庆祝，整整两个数量级的性能提升啊，之前给116所飞控系统进行分析大概花费了将近80个小时的时间，如果是目前的哥德尔系统，只需要四十多分钟，六千万软妹币就到手，这也太吓人了。
“赶紧赶紧，新的晶格模型形式化早就做完了，之前每次用哥德尔系统进行分析，由于计算量太大，总是锁死在刚开始的时候，连进度都没法估计，赶紧用哥德尔2.0试试看”，李文静已经迫不及待了。
一般而言，低
第六十四章 哥德尔2.0(2/6)