终于，在第三天晚上，所有准备工作都完成了。
王一男启动了哥德尔系统，从数学上，视频压缩问题，也就是H265编码被简化成时间域上的二维矩阵（二维图像）的有损转化。
孙伟的工作实际上就是提出了一个转化的模型，这个模型可以很方便的使用VHDL语言描述，并且在FPGA上实现。
这几天，王一男他们做的工作，就是把这个问题和孙伟的解决方案形式化，变成一个数学上的形式系统。
整个问题域和孙伟的论文被输入了哥德尔系统中，漫长的计算开始了。
“哎，果然是到了计算力的瓶颈啊，现在动不动就要以小时来计算时间了”
“你们先去休息吧，我一个人就好了”，王一男把李文静他们都赶了回去，自己一个人在椅子上打盹。
凌晨四点，终端发出“哔哔哔哔”的蜂鸣声，一下子把王一男从睡梦中惊醒。
“啊哈，总算出来了，让我看看”，王一男跑到卫生间，用冷水抹了一把脸。
“原来孙伟的算法还有这么多可以改进的地方，这里，如果去掉删选环节，直接使用前面的数据，不但可以提升15%的效率，还可以提高图像的质量啊”
“还有这里，这个FPGA的设计是有问题的，会造成并发的时候所有的计算核心竞争同一个锁，降低效率”
“还有这里，这里”
。。。
哥德尔系统找到孙伟算法的十七处缺陷，只要修正前面五处，最终硬件的效率将提升80%。
王一男复制了这五处缺陷以及改进方案，还有最终
第十二章 硬件高手 孙伟(5/6)