一、

經(jīng)典的設(shè)計與驗證流程

可以看到設(shè)計與驗證永遠(yuǎn)是同步節(jié)奏，即使因為一些客觀原因，導(dǎo)致驗證稍微慢于設(shè)計節(jié)奏，最終也會回到同步的節(jié)奏上。

這樣的理想狀態(tài)就對設(shè)計工程師有一定要求，比如拿到設(shè)計需求，就然后開始概要設(shè)計文檔，其中就包括整體的模塊對外接口，關(guān)鍵時序，整體的架構(gòu)設(shè)計等。驗證工程師拿到概要設(shè)計，就可以開始進(jìn)行驗證feature規(guī)劃。

詳細(xì)設(shè)計文檔，設(shè)計要完成整體的模塊的控制流，數(shù)據(jù)流、memory需求規(guī)格，狀態(tài)機(jī)，關(guān)鍵電路，關(guān)鍵時序設(shè)計等。驗證拿到詳細(xì)設(shè)計文檔，就可以進(jìn)行驗證case規(guī)劃，驗證計劃文檔編寫。

理想的狀態(tài)下設(shè)計拿著自己的詳細(xì)設(shè)計文檔就可以直接行云流水式的寫代碼。寫代碼真體力活。而這段時間驗證就可以進(jìn)行驗證平臺搭建和驗證case設(shè)計。

設(shè)計代碼寫完，編譯通過，lint清除，將一些低級錯誤扼殺在搖籃里。驗證平臺也搭建好，設(shè)計與驗證對接，一起調(diào)試第一條case。第一條case通過，環(huán)境OK，代碼OK。開始循序漸進(jìn)debug。

驗證驗出bug，提給設(shè)計，設(shè)計修改，上傳版本管理庫，驗證up，進(jìn)行回歸。完全正確，調(diào)試下一條case。

IP驗證到一定feature成熟，釋放一個版本給鏈路驗證同事，驗證多個IP配合的場景和當(dāng)前版本成熟的feature，很少會出現(xiàn)在鏈路上驗出IP級的bug（當(dāng)然也有）。

鏈路驗證到一定feature成熟階段，釋放版本給系統(tǒng)驗證同事，驗證多個鏈路配合場景和當(dāng)前版本的成熟feature。系統(tǒng)驗證成熟到一定feature。然后再上硬件加速器驗證和FPGA原型驗證。

整個理想的過程，一氣呵成，在系統(tǒng)驗證和加速器/FPGA原型驗證上，會比較順利，不會因為模塊級的bug卡住驗證進(jìn)度，因為在大系統(tǒng)里面調(diào)試效率非常低，基本就只剩過case。

理想很豐滿，現(xiàn)實很骨感。

現(xiàn)實情況是

設(shè)計人員寫完代碼才寫文檔，導(dǎo)致驗證遲遲沒有設(shè)計文檔，無法開始驗證計劃和驗證環(huán)境搭建。最終整體項目時間delay1-2個月。

設(shè)計人員不寫文檔，直接寫代碼，邊寫邊想，設(shè)計架構(gòu)沒有經(jīng)過評審，和上下游交互接口和時序都對不上，代碼寫完也是要修改重新寫，最終整體項目delay1-2個月。

項目delay了，設(shè)計著急了，在IP驗證尚未完全時就開始鏈路驗證，系統(tǒng)驗證。出現(xiàn)問題，debug效率低下，一天發(fā)現(xiàn)一個低級錯誤，鏈路驗證和系統(tǒng)驗證仿真時間長。你為什么總在加班？

設(shè)計著急了，在鏈路驗證和系統(tǒng)驗證尚未完全時，就開始加速器/FPGA原型驗證，編譯一個版本要一天，效率更低下。你為什么總在加班？

最終，項目還是delay，所有人也還是要加班完成。所以做芯片是有章法可循，業(yè)界多少年總結(jié)出來的血淚經(jīng)驗，不遵守是要吃虧的。

設(shè)計工程師與驗證工程師是好朋友

設(shè)計工程師和驗證工程師是永遠(yuǎn)的好朋友，你們是共同在完成一個工程，產(chǎn)品，磚。驗證的case和驗證完備性是要兩個人共同的努力的成果。

有一個驗證，發(fā)現(xiàn)一個case fail了，打電話給設(shè)計，case xxx fail了，看下什么原因。設(shè)計跑出來看了下，回個電話，是你平臺的原因，修改下，case pass了。設(shè)計與驗證是好朋友。

有一個驗證，發(fā)現(xiàn)一個case fail了，打電話給設(shè)計，case跑一次賊慢 ，波形我已經(jīng)跑好了，直接在我們的共享窗口上看下吧，設(shè)計看出了問題，本地修改了下，回個電話，我上傳了，你up下再跑一下。晚上下班前回歸下case。設(shè)計與驗證是好朋友。

又有一個驗證，因為一些個人原因，驗證平臺沒有及時搭建起來，delay與設(shè)計，但設(shè)計代碼已經(jīng)寫完了，沒有平臺和case驗，跑到驗證辦公位后面，站在身后監(jiān)工，沒你平臺，我可搞不了。設(shè)計與驗證是好朋友。

還有一個驗證，沒有發(fā)現(xiàn)任何bug，設(shè)計打電話說，我改了一行代碼，沒有任何影響，就是代碼風(fēng)格變了下，這樣寫覆蓋率更好收，占用資源更小。我要提個問題單記錄一下，這造成了我回歸的工作量。設(shè)計與驗證是好朋友。

突然有一個設(shè)計，代碼遲遲不愿意給驗證，說我代碼bug太多了，我要自己先驗下，驗證沒法開展工作，然后過了一陣子，找驗證說，我過了一百多條冒煙case。拿去給你驗吧。驗證：你這代碼給我都八時了，等著項目delay吧。設(shè)計與驗證是好朋友。

流程死的，人是活的

并不是所有的設(shè)計都要走繁重的流程，我做了個xxx設(shè)計，先進(jìn)行概要設(shè)計評審，詳細(xì)設(shè)計評審，代碼review，驗證feature評審，驗證計劃評審，驗證環(huán)境搭建，最后規(guī)劃了10個case，覆蓋率達(dá)到100%。這么個破玩意兒，兩個人整兩個月的時間。

有設(shè)計說，就這，那我還不如自己驗，你給我搭個平臺，我自己跑case，收覆蓋率，上FPGA原型驗證。兩周搞定。流程是死的，人是活的。但你需要分清什么情況下怎么做才是對的。

審核編輯 ：李倩