“

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

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

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

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

“

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

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

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

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

彩蛋時(shí)間

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

“

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