五一假期第二天，窗外一直下著淅淅瀝瀝的雨，實在不是適宜出門遊玩的天氣。
所以秦克和寧青筠今天並沒有出門，而是呆在星光銘緣的新家裡，一起進行課題研究。
西紅柿育種的論文已完成了，專利申請流程正在加快進度，科學突破獎的學術報告材料也搞定了。現在兩人手頭上的科研課題，只剩下冰雹猜想與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就是走這樣的路，幸而上頭不計成本地大力支持，國內的圓晶廠也表示會全力配合，才使得這條異常艱難的路隱約看到一絲成功的希望。
但也只是“一絲”，國內晶片人才還是太缺乏，尤其是全方面的晶片人才。
不過對於秦克來說，手裡有了系統給的那份設計思路，以及演算法思路，本身又擁有完善的晶片基礎知識與信息學程式設計知識，外加達到大師級的數學建模思維水準，想將這條路走通的難度就大大降低了。
【穩定運行多年的小說app，媲美老版追書神器，老書蟲都在用的換源App，huanyuanapp.org】
別小看設計思路，這就相當於有人指明了必定會成功的方向，還把沿途每個關鍵節點都指出來了，只需要親自一步步地將這條成功之路走出來。
尤其是演算法的思路，只要完善好細節，足以組成EDA裡最重要的工程庫了。所謂的工程庫，主要是指標準單元庫、可複用的電路模組庫、IP庫等。
秦克將原本花瓣的EDA重新調整了一下框架，使之符合自己的模塊化設計思路，並儘可能地保留下原本的成果，包括工藝引數庫、元器件圖形符號庫、元器件模型庫等，然後對各個模組制訂細節規則，每完成一部分，就發給許清巖，讓他組織手下的工程師團隊進行按規則進行填充完善。
而寧青筠主要負責完善演算法部分，有了秦克提供的指導思路，寧青筠想完善演算法細節就容易得多，真正有難度的也會與秦克共同商量。
時間就在這樣的匆忙中流逝，轉眼間一個月便過去了，時間邁入到五月底。
許清巖心裡的焦慮與煩燥慢慢消失了。
原本秦克發過來的全新EDA設計思路曾令許清巖手下的課題團隊有些質疑，畢竟與目前主流的EDA軟體都不太一樣，但許清巖強硬地要求按這個設計思路來重新制訂計劃，眾人也只能勉強遵從。
不過很快他們就被許清巖一次次轉發過來的細節規則所震驚了，那看向天馬行空的設計思路，在這些模組的細節規則充實之下，形成了一棵樹繁葉茂的大樹，隱有沖天之勢。
及至聽聞這些材料，都是上頭特意安排的一個代號為“Q”的晶片專家設計的，團隊眾人更是驚嘆不已。
要知道這類只有代號、身份嚴格保密的頂尖專家人物，全國都不超過二十個！沒想到許主任居然能申請到這樣的強援！
整個團隊都再無異議，紛紛全力配合，使得EDA的專案不斷地推進。
尤其是陸續發來的智能算法，以及編寫好的工程庫程式碼源源不斷地提供過來，更是讓他們歎為觀止，甚至私下議論，這個代號為“Q”的專家，怕是一個科研團隊吧……
不管如何，“Q”的超神表現，讓整個課題團隊都看到了成功的希望，精神振奮，按著“Q”的指示，日以繼夜地投入到這個專案之中。
雖然“Q”從沒露面，也從沒有工作外的半句交流，但在團隊中，已隱隱然成為了團隊的核心。
……
秦克和寧青筠兩人保持著學習、上課、自習、做課題的節奏，大部分空閒時間都投入到了這個EDA的課題之中，甚至不知道最新一期的《數學年刊》已發行，且他倆的那篇《波利尼亞克猜想的證明》以及《一個有關素數與黎曼球曲關聯的新猜想》，都被放到了封面的編輯推薦語上。
“除了驚歎，我們已實在不知道該用什麼形容詞來描述我們此刻的心情，慶賀吧，狂歡吧，攔在數學歷史上百年之久的一個偉大猜想，從此成為了‘波利尼亞克-秦寧定理’！”
——《數學年刊》編輯部。
整個世界的數學界再次轟動了。