Ying Chao

要說起為什么加入芯華章，倒不是因為想打造國之重器，我就是想嘗試更有挑戰性的技術領域...

“

毫不猶豫踏上跨界征途

來芯華章之前，我在AI芯片公司從事并行計算和算子優化相關研究，做了五六年，我是在優化算子的過程中無意敲開了編譯器技術之門，之后關注到芯華章有系統地探究編譯器相關技術的機會，就毫不猶豫地踏上了從AI算子優化跨界到EDA數字驗證研發的征途。

上次毫不猶豫還是在高三畢業的那個暑假，我迷上了撲克牌近景魔術。我花了大量的時間學習和練習技巧，明知幻術虛非實，暗伏乾坤假亦真，最簡單也最復雜，離得越近越容易被識破，為了完美呈現表演，一個動作甚至需要練上百次。

就是這次的經歷，我發現自己特別能沉下來鉆研事物，而透過不斷鉆研以后掌握的能力、技巧，能給我帶來前所未有的成就感，從此魔術也成為了我能隨身攜帶的快樂。

“

如我所愿，真正的挑戰來了

加入芯華章以后，我主要專注在形式驗證相關領域。

EDA形式化驗證需要服務來自人工智能、汽車電子、5G、云計算等不同領域的客戶。對于系統級形式化驗證，每個客戶面對的驗證場景也各不相同，有很多問題，行業也沒有成熟的技術方案，更沒有標準參數可以參考，這時就需要我們通曉不同應用領域的建模語言，才能在不同場景下展開形式驗證工作。

我開始自學程序靜態分析相關技術，閱讀了近百篇論文，反復消化理解，因為我知道最快的提升方法就是慢慢來。除了在編譯原理、硬件電路和Verilog等方面深入學習，日常就是和團隊一起，針對需要攻克的問題反復研究、反復推敲，不斷的試錯、推演、再論證，如此循環往復，直到證明bug有盡頭。

“

解難題和設計一個魔術一樣

有一次做C++與Verilog等價性檢查時，需要把C++指針操作翻譯成對應的數學模型，其中的難度在于國內很少有這方面的文獻或者相關知識。如果不能解決這個難題，后續驗證工作都無法推進。通過翻閱大量資料，以及結合實際項目情況，最后我們成功地創建了一套合理的算法模型去處理指針建模問題。

解難題是一個執果索因并不斷迭代的過程，在方法學上與設計一個魔術異曲同工。

首先需要知道觀眾會被什么樣的魔術效果驚訝到（對應明確系統功能需求），然后根據效果逆向設計整個魔術流程（對應系統的實現），期間需要不斷迭代，向觀眾表演（對應系統的測試）、去尋找表演最佳視角（對應系統與用戶良好的交互方式）、使用最自然的手法（對應系統實現時需要盡量使用熟悉且穩定的技術棧）、適時的錯誤引導（對應系統實施時技術與工程落地之間的tradeoff）。經過了這些不斷地打磨與改進，最后才能提煉出一個好的魔術。

彩蛋時間

點擊視頻回到芯華章三周年近景魔術表演現場

“

小小的成就有大大的收獲。我發現寫代碼抓BUG和變魔術一樣，你的魔術不先打動自己，又怎么打動觀眾呢？而成就感就是我用心堅守的那份熱愛。