近期，芯華章正式發(fā)布了基于創(chuàng)新架構(gòu)的數(shù)字驗(yàn)證調(diào)試系統(tǒng)——昭曉Fusion Debug?。在研討會(huì)暨新產(chǎn)品發(fā)布會(huì)上，中興微電子有線系統(tǒng)部部長(zhǎng)賀志強(qiáng)、平頭哥上海半導(dǎo)體技術(shù)IP驗(yàn)證及軟硬協(xié)同驗(yàn)證負(fù)責(zé)人張?zhí)旆拧㈧菰?a target="_blank">科技資深架構(gòu)師鮑敏祺，與芯華章科技產(chǎn)品和市場(chǎng)戰(zhàn)略總監(jiān)黃武，通過(guò)圓桌對(duì)話的方式，圍繞當(dāng)前集成電路驗(yàn)證挑戰(zhàn)及未來(lái)EDA發(fā)展趨勢(shì)，展開(kāi)了一場(chǎng)精彩交流。

對(duì)話中，三位嘉賓均從不同角度指出：

伴隨集成度的增加，芯片設(shè)計(jì)日益復(fù)雜，系統(tǒng)級(jí)、場(chǎng)景級(jí)驗(yàn)證需求不斷增加，系統(tǒng)級(jí)芯片驗(yàn)證，對(duì)提升流片成功率，賦能芯片設(shè)計(jì)創(chuàng)新意義重大，也在其中扮演愈發(fā)重要的角色。但是，工具兼容性差、數(shù)據(jù)碎片化、工具缺乏創(chuàng)新等痛點(diǎn)，也在限制著EDA的進(jìn)一步發(fā)展。

良好的調(diào)試工具，對(duì)于提升復(fù)雜驗(yàn)證效率有重要作用，是非常關(guān)鍵的驗(yàn)證手段。業(yè)界認(rèn)為一款優(yōu)秀的調(diào)試工具，需要具備高效的性能、可開(kāi)放的接口、支持圖形化呈現(xiàn)等特質(zhì)。

展望未來(lái)，國(guó)產(chǎn)EDA優(yōu)勢(shì)在于沒(méi)有歷史包袱、創(chuàng)新以及貼近用戶(hù)。下一代EDA設(shè)計(jì)以及驗(yàn)證工具，需要加強(qiáng)流程的自動(dòng)化及智能化，建立統(tǒng)一標(biāo)準(zhǔn)，提供更好的兼容性，從而全面提升驗(yàn)證效率及精度。

以下為嘉賓對(duì)話實(shí)錄，經(jīng)編輯整理，我們將分為“挑戰(zhàn)篇”、“調(diào)試篇”、“展望篇”三期，以饗讀者，本篇為挑戰(zhàn)篇。

挑戰(zhàn)篇：驗(yàn)完了沒(méi)有？

黃武：目前前端驗(yàn)證發(fā)展了20~30年，大家認(rèn)為在做 SoC設(shè)計(jì)驗(yàn)證的時(shí)候，最大的難點(diǎn)和挑戰(zhàn)在什么地方？

鮑敏祺：

首先，芯片的設(shè)計(jì)現(xiàn)在逐漸從10、12納米走到了7納米，特別是在AI芯片領(lǐng)域，它會(huì)變得越來(lái)越大，我們可能已經(jīng)超過(guò)50億門(mén)，甚至更多比如說(shuō)像M1最新一代ultra的話，它已經(jīng)超過(guò)了1100億個(gè)晶體管。

伴隨著激烈的市場(chǎng)競(jìng)爭(zhēng)，還會(huì)壓縮開(kāi)發(fā)周期。以往，這樣一個(gè)大芯片通常需要一年半的時(shí)間完成，而現(xiàn)在我們可能需要壓縮到一個(gè)更短的時(shí)間。因此，如何完成更多功能驗(yàn)證的工作，成為一個(gè)非常大的挑戰(zhàn)。

另外一個(gè)挑戰(zhàn)是：隨著芯片的增大，它不僅是在功能上的驗(yàn)證，就像之前在做的一些功耗相關(guān)的驗(yàn)證；現(xiàn)在驗(yàn)證的問(wèn)題更多的是要伴隨場(chǎng)景，去看整體power analysis、信號(hào)完整性等這樣一個(gè)驗(yàn)證的工作。這對(duì)于整個(gè)驗(yàn)證來(lái)說(shuō)，就從一個(gè)單純的功能需求，轉(zhuǎn)變?yōu)檎麄€(gè)系統(tǒng)級(jí)、場(chǎng)景級(jí)的驗(yàn)證的需求。

賀志強(qiáng)：

我想在座的鮑總、張總、包括黃武，相信作為驗(yàn)證團(tuán)隊(duì)的負(fù)責(zé)人，可能會(huì)經(jīng)常被問(wèn)到兩個(gè)問(wèn)題，第一個(gè)就是“你驗(yàn)完了沒(méi)有”，第二個(gè)問(wèn)題就是“芯片還存不存在bug”。這兩個(gè)問(wèn)題雖然字?jǐn)?shù)不多，但我覺(jué)得都是直擊靈魂的一個(gè)拷問(wèn)。其實(shí)如何回答這兩個(gè)問(wèn)題，我覺(jué)得應(yīng)該是驗(yàn)證工作最大的難點(diǎn)和挑戰(zhàn)。

我們都知道驗(yàn)證是一個(gè)證偽非證明的過(guò)程，我們能夠證明是有bug的，但是卻很難證明沒(méi)有bug，但是項(xiàng)目組可不接受這樣的回答。

隨著芯片規(guī)模的越來(lái)越大，復(fù)雜度也不斷提升，芯片的一版成功其實(shí)也成為了我們的最低要求。驗(yàn)證不僅在質(zhì)量上，還要在挑戰(zhàn)的時(shí)間窗內(nèi)去完成這個(gè)工作，應(yīng)該說(shuō)肉體和靈魂都在雙重的折磨下。但是，我們還是要給予正面的回答，因此對(duì)驗(yàn)證效率、驗(yàn)證質(zhì)量的度量就非常的有必要，也很重要。

那么我們，對(duì)于質(zhì)量的度量，對(duì)于效率的度量，其實(shí)又是一個(gè)問(wèn)號(hào)。

這些度量里面，我相信有一些是主觀的數(shù)據(jù)，有些是客觀的數(shù)據(jù)，在各種數(shù)據(jù)之間如何佐證不同的流程、不同的方法，以及不同的工具之間又如何關(guān)聯(lián)，這個(gè)是留給驗(yàn)證的問(wèn)題，那也是給我們EDA廠家的問(wèn)題。

希望我們未來(lái)的EDA廠家，像芯華章一樣能夠聚焦在驗(yàn)證的痛點(diǎn)，跟著客戶(hù)一起，不僅在工具上提供更高性能更好用的工具，同時(shí)也把我們的痛點(diǎn)的解決方案能夠固化到流程里，沉淀到我們的經(jīng)驗(yàn)里，最后集成到我們的工具里。

黃武：EDA工具很多時(shí)候都是一個(gè)集成的過(guò)程，有很多工具也是EDA公司不斷收購(gòu)來(lái)的，這導(dǎo)致的一個(gè)問(wèn)題就是這些工具之間數(shù)據(jù)的交互很多時(shí)候存在兼容性的問(wèn)題。大家對(duì)工具導(dǎo)致的數(shù)據(jù)不統(tǒng)一的問(wèn)題，有沒(méi)有什么看法？

鮑敏祺：

工具不統(tǒng)一，這個(gè)問(wèn)題的確存在于很多領(lǐng)域。

比如舉個(gè)最簡(jiǎn)單例子，關(guān)于覆蓋率。如果說(shuō)有一個(gè)仿真驗(yàn)證、有一個(gè)形式驗(yàn)證的情況下，按照以前的流程，它是兩個(gè)完全獨(dú)立的體系。因?yàn)閷?duì)于原型驗(yàn)證來(lái)說(shuō)，我可能看的是一個(gè)logic code，就是邏輯錐，但對(duì)于功能級(jí)的話，它看的code coverage或者是一個(gè)功能，是由他們自己去標(biāo)定的。

這樣的話其實(shí)我們很多的功能驗(yàn)證，已經(jīng)在形式驗(yàn)證這頭覆蓋了，但是這兩個(gè)如果沒(méi)有融合的話，你會(huì)發(fā)現(xiàn)一邊覆蓋率很低，但是另外一邊也不知道。只是說(shuō)因?yàn)樾问津?yàn)證一般都是做的相對(duì)小的模塊，所以如果兩邊不能融合，就會(huì)帶來(lái)一個(gè)相對(duì)比較大的困難。

另外，其實(shí)我們現(xiàn)在整個(gè)芯片里面，其實(shí)不光是simulation，后面還有emulation，prototype，兩者的覆蓋率范圍怎么能夠合理地反標(biāo)到前級(jí)，其實(shí)是對(duì)于前面的整個(gè)SoC sign-off會(huì)起到一個(gè)非常積極的作用。再則，對(duì)于Low power，它其實(shí)就是對(duì)UPF的理解，包括simulation工具也好，synthesis工具也好，它們的解析可能都會(huì)有一些不一致。一致性check，其實(shí)是一個(gè)非常重要的東西。

賀志強(qiáng)：

我覺(jué)得我們?cè)隍?yàn)證過(guò)程中經(jīng)常會(huì)遇到這些問(wèn)題，因?yàn)閿?shù)據(jù)的兼容性其實(shí)可以分成兩方面：第一方面就是我們不同的EDA廠家的工具的一個(gè)兼容性問(wèn)題；第二個(gè)其實(shí)是我們自家工具的不同的驗(yàn)證手段的兼容性。

目前我們可能用的比較多的simulation、formal這一塊，那么我們同一家的手段是不是能夠把我們的數(shù)據(jù)、把我們的覆蓋率信息能夠合并到一起，而不是孤立地去看我們的驗(yàn)證工作的輸出，包括像emulation和prototyping的一些驗(yàn)證手段的一些信息能不能集成進(jìn)來(lái)。其實(shí)我覺(jué)得對(duì)于同一家工具，這個(gè)應(yīng)該是能夠去解決，沒(méi)有太多的技術(shù)壁壘，但是對(duì)于不同廠家的工具，它的解析、格式，實(shí)際上我覺(jué)得在過(guò)去30年，我們EDA工具被國(guó)外壟斷的這樣情況下，是很難做到統(tǒng)一的。數(shù)據(jù)的一些不兼容，其實(shí)給用戶(hù)帶來(lái)的體驗(yàn)感也不是很好。

就像我們舉個(gè)例子，我們現(xiàn)在用的這種手機(jī)充電線也一樣，我們現(xiàn)在有Type-C的、還有蘋(píng)果的一些接口，那么目前看到的一些趨勢(shì)可能像安卓，它有趨向Type-C的統(tǒng)一，但是要和蘋(píng)果去統(tǒng)一，我覺(jué)得還是挺難的。那么像現(xiàn)在比較火的一個(gè)行業(yè)就是電動(dòng)汽車(chē)，汽車(chē)從充電口來(lái)看的話，其實(shí)它一開(kāi)始從規(guī)劃我覺(jué)得不管是哪一家的電動(dòng)汽車(chē)，它的充電口慢充快充都是一樣的，其實(shí)這樣帶來(lái)的好處我覺(jué)得是不言而喻的。

回到EDA工具，其實(shí)從用戶(hù)的角度，是希望我們不同的工具之間，它的數(shù)據(jù)能夠兼容，能夠去解析，能夠提供一些API的接口，包括我們的覆蓋率信息能夠合并，這樣對(duì)我們的驗(yàn)證效率的提升就存在更多的可能性。

我相信這是未來(lái)的趨勢(shì)，當(dāng)然也需要一些國(guó)產(chǎn)EDA的崛起，驅(qū)動(dòng)業(yè)界的改變。

黃武：驗(yàn)證在芯片設(shè)計(jì)中時(shí)間消耗越來(lái)越大，那怎么樣通過(guò)一種方式高效量化判斷芯片驗(yàn)證是處于收斂的趨勢(shì)？

賀志強(qiáng)：

這個(gè)問(wèn)題其實(shí)我覺(jué)得還是挺難回答的，關(guān)于如何判斷我們驗(yàn)證的效率和質(zhì)量，如何判斷我的驗(yàn)證已經(jīng)收斂了，這個(gè)確實(shí)是驗(yàn)證工程師一直在持續(xù)去做的一件事情。

那么首先我們說(shuō)驗(yàn)證效率，效率其實(shí)它直接影響到我們一個(gè)研發(fā)周期的長(zhǎng)短，對(duì)于咱們芯片的流片以及芯片的商用，其實(shí)是起到了一個(gè)很關(guān)鍵的作用。

那么效率的提升或者說(shuō)我們代碼的收斂，它不能單單的只看效率，我們所有的效率是在質(zhì)量的前提下去談效率才有意義。

那么效率的影響的因素有很多，從整個(gè)芯片的研發(fā)流程來(lái)看，包括我們方案的一些繼承性、前端代碼的一些IP化，包括我們驗(yàn)證平臺(tái)的通用以及驗(yàn)證用例的復(fù)用程度，其實(shí)都是效率提升的一些關(guān)鍵因素，但是驗(yàn)證效率或者說(shuō)我們代碼收斂，我覺(jué)得應(yīng)該是沒(méi)有一個(gè)直接的或者說(shuō)單一的度量指標(biāo)。

那么剛才提到的像一些覆蓋率，像assertion，包括formal，包括其他的驗(yàn)證手段，我所有的這些指標(biāo)它應(yīng)該是綜合的來(lái)去判斷我驗(yàn)證是不是收斂的過(guò)程。

單純從效率來(lái)看的話，我覺(jué)得可以從幾點(diǎn)去看，第一個(gè)就是我們平臺(tái)的一個(gè)搭建周期，我是不是能夠快速地去復(fù)用我的平臺(tái)、用例的調(diào)試周期；其次，當(dāng)然我們最經(jīng)常會(huì)關(guān)注到的就是用例的一些圖、增長(zhǎng)曲線以及回歸周期，這是從過(guò)程來(lái)看的一些數(shù)據(jù)。

那么從驗(yàn)證結(jié)果來(lái)看，我覺(jué)得還有一些bug的趨勢(shì)、覆蓋率的一些覆蓋情況，包括我們的驗(yàn)證周期的綜合指標(biāo)，來(lái)度量驗(yàn)證效率和收斂情況。

所以這個(gè)問(wèn)題我覺(jué)得還是挺難回答，當(dāng)然不是說(shuō)不能回答，比如我們現(xiàn)在業(yè)界有很多的方法，我覺(jué)得哪一種方法其實(shí)對(duì)于我們做驗(yàn)證的質(zhì)量和效率來(lái)看的話都是有意義的，是要統(tǒng)籌或者說(shuō)要去從整體上去考慮，而不是單單的一個(gè)指標(biāo)。

張?zhí)旆牛?/p>

對(duì)于驗(yàn)證，一般我們都會(huì)根據(jù)架構(gòu)和設(shè)計(jì)的規(guī)格制定驗(yàn)證的策略，就是說(shuō)在我們現(xiàn)有的資源下，這個(gè)資源既包括人力的資源，當(dāng)然也包括EDA的資源，還包括時(shí)間的資源，用什么樣的驗(yàn)證方法和方案，能夠在我們可以接受的風(fēng)險(xiǎn)度下達(dá)成質(zhì)量目標(biāo)，讓芯片回來(lái)一版成功。

我覺(jué)得這是非常值得探討的一個(gè)課題，里面有非常多值得深挖的一些地方，無(wú)論是數(shù)據(jù)，還是經(jīng)驗(yàn)，還是決策點(diǎn)等等。實(shí)際上我覺(jué)得在業(yè)界里面都很值得探討——我們有了這么多方法學(xué)，我們有了這么多數(shù)據(jù)，我們跑了這么多測(cè)試，最后我們的情況到底是怎么樣？

當(dāng)然我們有很多的方法學(xué)可以使用，從DDV（Direct-test Driven Verification）到CDV（Coverage Driven Verification）再到MDV （Metric Driven Verification） ，那么我們到底應(yīng)該把它們用在什么地方？

實(shí)際上，我們知道現(xiàn)在有這么多的芯片的業(yè)務(wù)形態(tài)，這么多的產(chǎn)品特征，那么實(shí)際上每一類(lèi)DUT的驗(yàn)證策略都不盡相同。一般的做法可能是說(shuō)對(duì)于unit level或者是某些比較小規(guī)模的，我們可能會(huì)考慮引入一些形式驗(yàn)證的方法去把它做到充分的覆蓋。

那么對(duì)于block level的驗(yàn)證，我們可能傾向于業(yè)界現(xiàn)在比較通用的，基于UVM的MDV的這種方法學(xué)。通過(guò)功能覆蓋率以及代碼覆蓋率這兩個(gè)重要指標(biāo)，然后以及各家公司都可能定義的非常完備的質(zhì)量流程和check list，去保障研發(fā)質(zhì)量，降低風(fēng)險(xiǎn)。

那么對(duì)于sub system、IP level等規(guī)模比較大、較為復(fù)雜的DUT的驗(yàn)證，從UVM角度一般會(huì)采用自底向上集成的方式，關(guān)注點(diǎn)一般會(huì)集中在各個(gè)block之間的interaction。此外，對(duì)于sub-system level和IP level的代碼覆蓋率策略，如果block level代碼覆蓋率已在checklist中，SS和IP level會(huì)重點(diǎn)關(guān)注各個(gè)sub-block以及自身的boundary toggle coverage。

而對(duì)于SoC level，斷言覆蓋率或者是必要的功能覆蓋率一般都會(huì)納入考量。

總之驗(yàn)證策略（包括覆蓋率策略）、驗(yàn)證測(cè)試計(jì)劃（包括功能覆蓋率計(jì)劃）都是驗(yàn)證工作中非常重要的部分。我們?nèi)绾斡眠m配的方法學(xué)在現(xiàn)有的人力、EDA資源和時(shí)間資源的條件下，能夠達(dá)到什么樣的質(zhì)量標(biāo)準(zhǔn)并能承受怎樣的風(fēng)險(xiǎn)，然后做到一次流片成功，我覺(jué)得是個(gè)很值得探討的問(wèn)題。