在IC驗(yàn)證者進(jìn)行測試點(diǎn)評審的時(shí)候，或者在和DE（數(shù)字設(shè)計(jì)工程師）、SE（系統(tǒng)工程師）進(jìn)行驗(yàn)證場景討論的時(shí)候，常常會聽到“邊界”“異?！边@倆詞。他倆就像是一對形影不離的好朋友，同時(shí)出現(xiàn)在驗(yàn)證者的耳畔和DE、SE的嘴邊。

就像丑媳婦早晚要見公婆，驗(yàn)證者也注定要面對它們，無論何時(shí)何地。

其實(shí)，在每一位丑媳婦的心中，多多少少都有一些公婆的威嚴(yán)形象。對于“邊界”和“異?！?，驗(yàn)證者也有咱們自己的理解。

其一、邊界場景。

“邊界”是與隨機(jī)驗(yàn)證方法強(qiáng)相關(guān)的概念。

每一個(gè)隨機(jī)參數(shù)和變量都有各自的隨機(jī)范圍，有范圍，就有邊界。此其一也。

隨機(jī)驗(yàn)證的底層邏輯是把DUT（Design Under Test）當(dāng)成一個(gè)“黑盒子”，驗(yàn)證者向其輸入隨機(jī)的激勵(lì)，隨機(jī)的去撞DUT內(nèi)部的各個(gè)邏輯功能。每一次run隨機(jī)用例之前，驗(yàn)證者都不知道會撞到哪部分DUT的邏輯功能。而在DUT內(nèi)，不同的邏輯區(qū)域承載不同的功能特性。分了區(qū)域，就有邊界。次其二也。

若把DUT比作一個(gè)碩大的棗樹，隨機(jī)驗(yàn)證用例就是一根棍子。驗(yàn)證者仰頭望著繁茂的枝頭，要把手上這根棍子握緊。有棗沒棗，打幾桿子。

通常IC驗(yàn)證者認(rèn)為，配置變量、輸入數(shù)據(jù)的合法的取值范圍的“邊界”值，是一種邊界場景。這主要針對可由單個(gè)變量構(gòu)成的場景，對于多個(gè)變量構(gòu)成的場景，則要考慮每個(gè)變量的取值。通常，0x0，0xFFFF_FFFF（全F），Max-Value，Min-Value等被認(rèn)為是“邊界”值。

“邊界”場景的變量數(shù)據(jù)必須是合法的（合理而有效的取值）。合法的則是“邊界”，非法的則可能是“異?！?。

相比于“邊界”場景，“異?！眻鼍霸隍?yàn)證者和DE、SE之間偶爾會存在一些爭議。

比較典型的是，軟件的錯(cuò)誤配置是否要當(dāng)做異常場景在數(shù)字驗(yàn)證中進(jìn)行覆蓋。

認(rèn)為“是”的人（大概率是DE/SE），通常覺得這種錯(cuò)誤配置是有可能發(fā)生的，為什么不驗(yàn)?zāi)兀?/p>

認(rèn)為“否”的人（大概率是驗(yàn)證者），回懟：汽車出廠檢驗(yàn)的時(shí)候，是不是也要在河里開幾圈??？

竊以為：要判斷一個(gè)錯(cuò)誤配置是不是“異?！眻鼍?，關(guān)鍵是要看芯片的方案和數(shù)字邏輯是否做了相關(guān)的“設(shè)計(jì)”。即，硬件電路是否支持這種軟件的錯(cuò)誤使用。若支持，則應(yīng)該作為異常，必須在驗(yàn)證中進(jìn)行覆蓋。若不支持，則不驗(yàn)證。這也是為什么非法的數(shù)據(jù)可能是異常：若支持，則是異常；若不支持，則啥也不是。

此處的“設(shè)計(jì)”，不是只在DUT中有相關(guān)的邏輯電路，而在FS中缺失相關(guān)的描述。更不是只有SE/DE的空口白牙的說說而已。異常場景必須要在FS（Feature SPEC）中進(jìn)行描述，并且數(shù)字邏輯也要支持。無文檔，不驗(yàn)證，尤其是驗(yàn)證者面對“異常”場景之時(shí)。

舉個(gè)例子，某芯片的一個(gè)配置參數(shù)范圍是1~127。如果在FS中寫了：若是配置0，則認(rèn)為是軟件錯(cuò)誤配置，芯片記錄錯(cuò)誤配置信息并上報(bào)中斷。那么，配置參數(shù)=0是典型的“異?！眻鼍?，驗(yàn)證者需要構(gòu)造這種激勵(lì)，覆蓋該場景。若是FS中沒有相關(guān)的描述，則不覆蓋。若是FS沒有寫，但是SE口頭要求驗(yàn)證者構(gòu)造該場景，數(shù)字邏輯行為不可知，這時(shí)，驗(yàn)證者可大膽的跟他說NO。

因此，異常場景的關(guān)鍵所在，還是FS中的相關(guān)描述。關(guān)于該場景，SE們在FS中至少要說清兩點(diǎn)：

軟件對硬件不能做什么。此其一也。

軟件若是做了不該做的事情，硬件會怎樣。此其二也。

站在軟件和應(yīng)用的角度看“異?！?，它更應(yīng)該是DUT的某種業(yè)務(wù)功能在執(zhí)行期間，發(fā)生了錯(cuò)誤或非預(yù)期的情況后，硬件邏輯的一系列相關(guān)動作，以幫助軟件更好的獲取信息，定位錯(cuò)誤，撥亂反正，恢復(fù)正常。而不是業(yè)務(wù)開始之前就可知的配置錯(cuò)誤（軟件本身的錯(cuò)誤）。當(dāng)然，硬件邏輯針對軟件錯(cuò)誤做的這些所謂的“保護(hù)設(shè)計(jì)”，也能在某種程度提升芯片的問題定位效率和應(yīng)用的魯棒性。但是這些“保護(hù)設(shè)計(jì)”都是實(shí)打?qū)崝?shù)字電路，會占芯片面積，也會消耗功耗。如何在提升芯片應(yīng)用的魯棒性和降低冗余設(shè)計(jì)優(yōu)化芯片整體PPA之間，尋找到最佳的平衡點(diǎn)，是擺在每一位SE、DE面前的大題目。

題外話：

“認(rèn)清生活的本質(zhì)之后，依然熱愛生活。”最近對這句話有了深刻的認(rèn)識。生活之于每個(gè)人都或多或少有些許不易，不能因?yàn)檫@些而喪失對生活的熱愛。蘇軾說他看世間無一個(gè)不好的人。那估計(jì)他看世間的事也無一件不好的事。某件事咋一看去不甚好，換個(gè)角度再看，再看，總有好的一面。諸位明公，共勉之。

審核編輯：劉清