五一假期第二天，窗外一直下着淅淅沥沥的雨，实在不是适宜出门游玩的天气。
所以秦克和宁青筠今天并没有出门，而是呆在星光铭缘的新家里，一起进行课题研究。
西红柿育种的论文已完成了，专利申请流程正在加快进度，科学突破奖的学术报告材料也搞定了。现在两人手头上的科研课题，只剩下冰雹猜想与EDA设计。
——还有一个沙漠红薯的课题估计还要再等一两个月才能开始，因为收集全世界不同品种的红薯种子实在很耗时间。而沙漠红薯的杂交育种需要十多个品种进行反复杂交才能培育出来，而份A+级知识里并没有标记具体的红薯种子名称，只能靠秦克在虚拟科研实验中心试种全世界的品种来逐一试验确定了。
秦克伸了个懒腰，起身去替宁青筠泡杯柠檬茶。
路过窗边，秦克瞥了眼窗外，只见目之所及，都是雨幕，外面的行人极少。今年北方的雨水尤其多，也不知道段教授的那个J-92防波堤项目是否已开始推广了？
对于这个自己第一次参与过的超大型课题，秦克印象特别深刻，嗯，有空发个信息给段教授问问吧。
秦克泡好柠檬茶回到书房时，宁青筠依然在对着她的水果笔记本敲着键盘，完善着EDA的一个小算法。
这几天秦克已基本上将自己会的信息学与芯片设计相关的算法知识，通过“思维共鸣”教给了宁青筠，宁青筠今天算是正式上机实践。
秦克给她讲解了某个算法的主体思路后，宁青筠就干劲十足地表示要独立完善，并亲自编成代码，不借助秦克和微光的帮忙，以验证自己对算法知识的掌握程度，算是“毕业试”。
秦克自然不会反对，反正也就几百行代码的小算法，又有了主体思路，宁青筠完全能搞定。而且确实也需要通过学以致用才能真正掌握到以数学建模的思维来完善算法的精髓。
何况这种认真与专注，也是宁青筠身上很可爱很吸引人的优点。
秦克坐回到少女身边，撑着下巴凝视着她那白嫩姣好的侧脸。
少女在家里一般都会听秦克的话，披散着丝滑如瀑布的齐腰秀发，于是原本有些骄傲与清冷的气质便化为了一泓动人的柔媚。
宁青筠的外表依然停留在了十八岁生日那天，那柔美精致的脸部线条、有如星辰般明亮漂亮的丹凤眼，弧度优美的纤细秀眉，白皙可爱的高挺鼻梁，红润粉嫩的双唇，微尖又带着点圆润的小下巴，还有正在敲击键盘的白皙细长小手指……
简直可以说是无处不美，无处不好看，哪怕已看了无数遍，秦克依然有种砰然心动的感觉。
在秦克眼里，自己家小白菜身上的一切都是完美的，都是那么的可爱，那么的吸引自己。
比如她这时盯着屏幕的专注神色，认真地沉思时不经意地轻轻蹙起的细眉和抿紧的红唇，都会让人忍不住生出一种要疼她疼到骨子里的爱意来。
都说爱情首先诞生于对外貌身材的欣赏，但秦克想起自己刚刚与宁青筠同桌时，对她其实是没什么特别感觉的，因为那时的秦克眼里只有学习，只有星辰大海，女生长得美不美他都不会在意。直到与宁青筠接触久了，被她身上的清纯羞涩、认真坚强的气质与性格吸引，才像是推开了一扇崭新的大门，懂得欣赏女孩子的美，然后惊喜地发现自己喜欢的女孩，似乎是世上最好看最完美的女孩子，于是就有种意外得到珍宝、要倍加珍惜的感觉。
直到现在，哪怕已真真正正地拥有了眼前的女孩，他这种感觉依然很强烈。
他就这样静静地欣赏着宁青筠，心里满满是恬静与温馨。
但不久他就发现少女有如顶级白瓷的粉嫩小脸悄悄地染上了一层绯红，想必是自己这肆无忌惮的目光让少女害羞了。
果然，宁青筠回头，红着小脸瞪大漂亮的眸子问道：“你……你一直看着我干嘛？”
她的声音带着点萌萌的鼻音，语气似是在抗议，又似是在撒娇。
秦克乐了，摆出一副无赖流氓相：“就喜欢看你，不行吗？”
少女害羞地移开了视线，小声道：“都……都看几年了还没看腻？”
“别说才看了两三年，就算看一辈子都不会腻，只会越看越喜欢。”
“就会甜言蜜语来哄我……我才不会上当。”宁青筠嘴里这样说着，语气里分明泛着甜蜜幸福的味道，眸子里也有莹莹水波在荡漾，俏丽的小脸较之以往的清纯，又多了两分的妩媚。
秦克只觉得真是爱极了这女孩，忍不住搂紧了她的细腰，在她娇嫩的唇瓣儿上轻轻地啄了啄。
“筠儿，对着电脑这么久，要不要休息一下？”
宁青筠的脸蛋儿更红了，比晚霞还要滚烫，低头弱弱道：“昨晚不都……不都……现在大白天的……能不能到今晚再……”
秦克差点要笑出来，宁青筠居然误会了。
其实秦克哪是这么不爱惜女朋友的人，以宁青筠比较娇弱的体质，每次陪他“参观”完房间后都会筋疲力尽，睡了一觉再加上早上合练了东方秘典，体能也无法完全恢复过来，现在的神色还有些慵懒，身子也有些软绵绵的，秦克怎么好意思现在就再带她去“参观”房间？
起码也要让她缓上一个白天的时间。
秦克却装出为难犹豫的样子，好会儿才“忍痛”道：“行，那就晚上再和你‘参观’房间，不过现在你真要休息一下，久坐与长时间对着电脑屏幕都不好。”
“嗯。”宁青筠小脸上的红晕这才慢慢褪了下去，她乖巧地捧起秦克替他泡好的柠檬茶，一边小口小口地喝着，一边慢慢地在书房里散步。
少女左手无名指上一直戴着的小猫造型铂金钻石戒指在透明的玻璃杯映衬下份外的闪亮，秦克嘴角有些得意、又有些温暖地翘起。
自从生日那天戴上这戒指后，宁青筠除了洗澡洗头发等外，还真是再没有摘下来过。
这种乖乖地遵守着成为他“所有物”规矩的小细节，总会让秦克心情特别的愉悦。
等宁青筠喝完柠檬茶放下杯子，秦克过去握着她的手儿，一起在新房子里散步。
“EDA软件确实很关键，上学期我们上集成电路设计的选修课，老师不是说过了吗？在有EDA软件的自动化设计协助下，14nm芯片的设计成本超过10亿元，7nm芯片更是要花30亿元以上，如果没有EDA协助，全靠人工的话，哪怕集结全国的工程师，花上千亿元，也未必能设计出来。而目前我们国家的EDA还很弱小，无法设计高性能的高端芯片，这个问题很有挑战性也很有意义，就算许老师不找上门来，我以后很可能也会开展这方面的课题。”
秦克一边感受着少女指间的细腻柔软，一边说着两人的EDA课题：
“想要开发出好用的EDA，会编程只是次要的，关键是要对芯片设计和芯片制造流程都了如指掌。许老师的资料在昨晚已全部传过来了，我粗略看了下，迟点会把需要你看的部分整理出来，你到时再看。”
“当然，EDA软件的开发与更新，与芯片制程是分不开的，更需要芯片大厂尤其是晶圆厂紧密配合，提供合适的数据做彷真，这方面许老师会解决，我们就不用操心了。”
“这次的EDA是花瓣提供的，完成度只有一半不到，不过主框架还算可以，我打算再重新优化一下，重新定好框架以及技术架构，就像青柠操作系统那样，实现模块化，这样在将来无论是面对14nm制程工艺，还是7nm，5nm、3nm、2nm乃至1nm，都能适用，只需要更新设计模块以及工程库里的算法就行了。”
“原本真正想要开发出理想的全流程EDA，估计没三五年是不可能的，代码量不会比青柠操作系统小。不过现在有‘微光’可以自动编程，我打算由我俩负责编写好规则和框架，再由许老师那边的团队他们填充细节，最后交给‘微光’来编写代码，这样能将开发进展大大缩短……”
宁青筠没说话，只是静静地听着秦克的计划，嘴角却不禁泛起了浅浅的笑意。
每当一起做课题时，她总有种说不出的满足感，那种并肩而行、共同朝着一个目标而努力的感觉是那样的美妙，让她的心情都会雀跃起来。而且她真的很喜欢看到秦克这侃侃而谈的自信模样，让她总忍不住心生崇拜。
大概这也是天下间唯一一个能让她心服口服甚至以崇拜目光来仰望的男生了。
……
EDA确实是芯片设计中必不可少的关键软件，它几乎覆盖芯片设计的整个流程，包括设计、彷真、验证等所有环节。一般来说，EDA也有细分领域，不同厂商各有侧重，甚至有专门只负责某一环节的EDA，比如IC设计，电子电路设计，PCB设计等。
芯片的设计团队往往要切换不同的EDA，进行反复的设计后，再找圆晶厂验证无误后，才会生成一个完整芯片版图文件，交付给晶圆厂生产。
这就是一枚芯片诞生的前期设计工作。
EDA的专门要求太高，而且非常复杂，容不得有半点的错漏，导致了研发投入特别高。另一个难度就是尤三大巨头通过知识产权，基本上把接口IP垄断了，而EDA一旦离开了这些接口IP，相当于是要重建一条全新的战线，需要圆晶厂配合才行。
花瓣这个半成品的EDA就是走这样的路，幸而上头不计成本地大力支持，国内的圆晶厂也表示会全力配合，才使得这条异常艰难的路隐约看到一丝成功的希望。
但也只是“一丝”，国内芯片人才还是太缺乏，尤其是全方面的芯片人才。
不过对于秦克来说，手里有了系统给的那份设计思路，以及算法思路，本身又拥有完善的芯片基础知识与信息学编程知识，外加达到大师级的数学建模思维水准，想将这条路走通的难度就大大降低了。
别小看设计思路，这就相当于有人指明了必定会成功的方向，还把沿途每个关键节点都指出来了，只需要亲自一步步地将这条成功之路走出来。
尤其是算法的思路，只要完善好细节，足以组成EDA里最重要的工程库了。所谓的工程库，主要是指标准单元库、可复用的电路模块库、IP库等。
秦克将原本花瓣的EDA重新调整了一下框架，使之符合自己的模块化设计思路，并尽可能地保留下原本的成果，包括工艺参数库、元器件图形符号库、元器件模型库等，然后对各个模块制订细节规则，每完成一部分，就发给许清岩，让他组织手下的工程师团队进行按规则进行填充完善。
而宁青筠主要负责完善算法部分，有了秦克提供的指导思路，宁青筠想完善算法细节就容易得多，真正有难度的也会与秦克共同商量。
时间就在这样的匆忙中流逝，转眼间一个月便过去了，时间迈入到五月底。
许清岩心里的焦虑与烦燥慢慢消失了。
原本秦克发过来的全新EDA设计思路曾令许清岩手下的课题团队有些质疑，毕竟与目前主流的EDA软件都不太一样，但许清岩强硬地要求按这个设计思路来重新制订计划，众人也只能勉强遵从。
不过很快他们就被许清岩一次次转发过来的细节规则所震惊了，那看向天马行空的设计思路，在这些模块的细节规则充实之下，形成了一棵树繁叶茂的大树，隐有冲天之势。
及至听闻这些材料，都是上头特意安排的一个代号为“Q”的芯片专家设计的，团队众人更是惊叹不已。
要知道这类只有代号、身份严格保密的顶尖专家人物，全国都不超过二十个！没想到许主任居然能申请到这样的强援！
整个团队都再无异议，纷纷全力配合，使得EDA的项目不断地推进。
尤其是陆续发来的智能算法，以及编写好的工程库代码源源不断地提供过来，更是让他们叹为观止，甚至私下议论，这个代号为“Q”的专家，怕是一个科研团队吧……
不管如何，“Q”的超神表现，让整个课题团队都看到了成功的希望，精神振奋，按着“Q”的指示，日以继夜地投入到这个项目之中。
虽然“Q”从没露面，也从没有工作外的半句交流，但在团队中，已隐隐然成为了团队的核心。
……
秦克和宁青筠两人保持着学习、上课、自习、做课题的节奏，大部分空闲时间都投入到了这个EDA的课题之中，甚至不知道最新一期的《数学年刊》已发行，且他俩的那篇《波利尼亚克猜想的证明》以及《一个有关素数与黎曼球曲关联的新猜想》，都被放到了封面的编辑推荐语上。
“除了惊叹，我们已实在不知道该用什么形容词来描述我们此刻的心情，庆贺吧，狂欢吧，拦在数学历史上百年之久的一个伟大猜想，从此成为了‘波利尼亚克-秦宁定理’！”
——《数学年刊》编辑部。
整个世界的数学界再次轰动了。