不管是做設(shè)計(jì)，還是驗(yàn)證，相信大家都會(huì)有一些review會(huì)議上被問(wèn)一些刁鉆的問(wèn)題的經(jīng)歷。當(dāng)然，與會(huì)者問(wèn)這些不那么容易回答的問(wèn)題并非有意為難，大多數(shù)時(shí)候只是純粹的好奇心。

極限驗(yàn)證法采用的途徑是向芯片提出很多難以回答的問(wèn)題。比如如何使芯片發(fā)揮到大程度?哪個(gè)特性會(huì)使芯片運(yùn)行到其設(shè)計(jì)極限?哪些輸入和數(shù)據(jù)會(huì)耗費(fèi)芯片多的運(yùn)算能力?哪些輸入可能無(wú)法進(jìn)入錯(cuò)誤處理邏輯?如果芯片用于產(chǎn)生某些特定輸出時(shí)，使用哪些輸入和內(nèi)部數(shù)據(jù)可以不斷挑戰(zhàn)芯片的這能力?

很顯然，根據(jù)被測(cè)芯片的不同，提出的問(wèn)題也會(huì)不同。對(duì)于一個(gè)計(jì)算模塊，可能面臨著各種錯(cuò)綜復(fù)雜的輸入數(shù)據(jù)格式和數(shù)量。

某個(gè)cnt是否存在越界，越界之后如何處理？

某兩個(gè)處理過(guò)程能夠并行？

當(dāng)數(shù)據(jù)還未處理完成的時(shí)候能夠改變某些寄存器配置。

這個(gè)驗(yàn)證法對(duì)每個(gè)芯片都不同，但是想法是相同的:

向芯片提出最困難的問(wèn)題，這樣就有可能發(fā)現(xiàn)芯片的能力和具體實(shí)現(xiàn)之間的差異。

這個(gè)驗(yàn)證法有一個(gè)變種，就是找麻煩驗(yàn)證法。驗(yàn)證時(shí)該方法要求驗(yàn)證人員故意設(shè)置各種障礙來(lái)看芯片如何應(yīng)對(duì)。有一個(gè)非常典型的例子：

一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了一杯啤酒
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了一杯咖啡
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了0.7杯啤酒
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了-1杯啤酒
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了2^32杯啤酒
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了一杯洗腳水
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了一杯蜥蜴
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了一份asdfQwer@24dg!&*(@
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，什么也沒(méi)要
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，又走出去又從窗戶進(jìn)來(lái)又從后門出去從下水道鉆進(jìn)來(lái)
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，又走出去又進(jìn)來(lái)又出去又進(jìn)來(lái)又出去，最后在外面把老板打了一頓
一個(gè)測(cè)試工程師走進(jìn)一
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了一杯燙燙燙的錕斤拷
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了NaN杯Null
1T測(cè)試工程師沖進(jìn)一家酒吧，要了500T啤酒咖啡洗腳水野貓狼牙棒奶茶
1T測(cè)試工程師把酒吧拆了
一個(gè)測(cè)試工程師化裝成老板走進(jìn)一家酒吧，要了500杯啤酒并且不付錢
一萬(wàn)個(gè)測(cè)試工程師在酒吧門外呼嘯而過(guò)
一個(gè)測(cè)試工程師走進(jìn)一家酒吧，要了一杯啤酒';DROP TABLE 酒吧
測(cè)試工程師們滿意地離開(kāi)了酒吧。
然后一名顧客點(diǎn)了一份炒飯，酒吧炸了

總之，所做的一切不一定要有什么實(shí)際意義，這么做的原因只是因?yàn)樾酒试S這么做。畢竟，我們知道有時(shí)候有的芯片用戶真的會(huì)這么做。

這個(gè)驗(yàn)證法及其變種能發(fā)現(xiàn)各種類型的缺陷，從非常重要的缺陷到簡(jiǎn)單甚至愚蠢的缺陷。它取決于極限驗(yàn)證人員的駕取能力。驗(yàn)證人員必須可以區(qū)分哪些是純屬發(fā)難的問(wèn)題，哪些是可以讓芯片正確運(yùn)行的問(wèn)題。

在驗(yàn)證中，應(yīng)盡力去創(chuàng)建那些用戶真正使用的應(yīng)用場(chǎng)景，這么做的結(jié)果是讓人們知道所發(fā)現(xiàn)的那些缺陷確實(shí)會(huì)影響到最終用戶，并且應(yīng)該被及時(shí)修復(fù)。

審核編輯：劉清