“

如我所愿，真正的挑戰(zhàn)來了

加入芯華章以后，我主要專注在形式驗證相關(guān)領(lǐng)域。

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

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

“

解難題和設(shè)計一個魔術(shù)一樣

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

解難題是一個執(zhí)果索因并不斷迭代的過程，在方法學(xué)上與設(shè)計一個魔術(shù)異曲同工。

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

彩蛋時間

點擊視頻回到芯華章三周年近景魔術(shù)表演現(xiàn)場

“

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