我们要等钱,FPGA可是相当烧钱的”
“买买买,咱们是有钱人,需要什么就买!”
随后的几个月,软妹币在王一男要哭出来的眼神中,义无反顾的随风而去。
一台台设备被安装到实验室中。孙伟和冯祥,当然还有王一男首先根据Tyler教授发表在IEEE上的一篇文章为基础,李文静他们改进了一点Tyler的算法之后,设计出了第一代FPGA专用算法电路。
利用他们购置的昂贵设备,烧制出芯片之后,在地下室新弄了一个专用的机柜,用来测试新的FPGA芯片。
说先将新的FPGA芯片接入现有哥德尔系统,再利用哥德尔系统自身的分析和诊断能力,发现这些FPGA电路的缺陷并且进行改进。
改进完了之后,重新烧制FPGA芯片,然后替换掉上一代的FPGA芯片,重新接入哥德尔系统中。
王一男把这种迭代,形象的比喻为,“一个抓住自己头发,把自己一点点提高的巨人”
“嗯,我们从理论上证明了,抓住头发把自己提起来,是可能做到的”
随着哥德尔系统计算能力的提升,寻找缺陷进行改进的时间也在慢慢缩短。
每轮迭代所需要的时间,也从最早的一周,降低到最后的三个小时。
终于,在三个多月艰苦的冲刺之后,哥德尔系统已经很难找到最终版本FPGA电路的缺陷了。
这天下午,整个团队的人聚集在一楼工位上,王一男将当初关于孙伟那篇H265的论文所做的形式化备份,输入哥德尔系统。进化后的哥德尔系统到底有多大的提
第十四章 进化 哥德尔系统(4/6)