Ying Chao

要說(shuō)起為什么加入芯華章，倒不是因?yàn)橄氪蛟靽?guó)之重器，我就是想嘗試更有挑戰(zhàn)性的技術(shù)領(lǐng)域...

“

毫不猶豫踏上跨界征途

來(lái)芯華章之前，我在AI芯片公司從事并行計(jì)算和算子優(yōu)化相關(guān)研究，做了五六年，我是在優(yōu)化算子的過(guò)程中無(wú)意敲開了編譯器技術(shù)之門，之后關(guān)注到芯華章有系統(tǒng)地探究編譯器相關(guān)技術(shù)的機(jī)會(huì)，就毫不猶豫地踏上了從AI算子優(yōu)化跨界到EDA數(shù)字驗(yàn)證研發(fā)的征途。

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

就是這次的經(jīng)歷，我發(fā)現(xiàn)自己特別能沉下來(lái)鉆研事物，而透過(guò)不斷鉆研以后掌握的能力、技巧，能給我?guī)?lái)前所未有的成就感，從此魔術(shù)也成為了我能隨身攜帶的快樂。

“

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

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

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

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

“

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

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

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

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

彩蛋時(shí)間

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

“

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