日本伦理电影在线观看,日韩av啊啊啊在线观看

[導(dǎo)讀]亞里士多德說：“任何一個系統(tǒng)都有自己的第一性原理，它是一個根基性命題或假設(shè)，不能被缺省，也不能被違反?！薄兜谝恍栽怼返谝恍栽恚帽葮淠镜母?，沒有人會看到繁茂枝干下的樹根，但它決定了樹的一切。本文將“第一性原理”的思想引入芯片驗證中的幾個場景，以理清一些驗證問題的本質(zhì)，直達本...

亞里士多德說：“任何一個系統(tǒng)都有自己的第一性原理，它是一個根基性命題或假設(shè)，不能被缺省，也不能被違反。”
《第一性原理》

第一性原理，好比樹木的根基，沒有人會看到繁茂枝干下的樹根，但它決定了樹的一切。本文將“第一性原理”的思想引入芯片驗證中的幾個場景，以理清一些驗證問題的本質(zhì)，直達本源。

我們常問，未來十年什么會變化？這個問題很重要，但更重要的問題可能是，未來十年什么不變？如果能找到不變的，把所有的資源和精力，毫無保留地投入在不變的事物上，其力量不可同日而語。

“歸納法是通過實踐推導(dǎo)結(jié)論，把連續(xù)性的經(jīng)驗推廣到一切時空。然而，并非所有事物都有連續(xù)性，固有的思維會讓你陷入“歸納法謬誤”。打破認(rèn)知邊界，實現(xiàn)第二曲線創(chuàng)新，你需要全新的思維模式——演繹法。但是演繹法必須有一個基石，一個來自系統(tǒng)之外、能夠邏輯自洽的元起點。這個元起點既可以稱為第一前提、邏輯奇點，也可以稱為第一性原理。”《第一性原理》

歸納法等同于芯片驗證中simulation,當(dāng)你在某個場景下連續(xù)采樣一個接口100遍甚至1000遍，發(fā)現(xiàn)這個接口保持不變，就可以認(rèn)為這個接口保持不變么？

1、你永遠(yuǎn)無法保證其中偶爾會出現(xiàn)的一兩次跳變；

2、你永遠(yuǎn)無法從根本上證明這個接口保持不變這一特性，特別是在這些場景的邊界往往會超出我們預(yù)知的邊界。

接口會保持連續(xù)性的隱含假設(shè)其實也是我們驗證過程中一種check不完備或者激勵過約的一種體現(xiàn)，存在遺留bug的風(fēng)險。

雖然在科學(xué)領(lǐng)域中，歸納法以所謂的“獨立可重復(fù)性”作為標(biāo)準(zhǔn)，從而確保實驗結(jié)果的有效性，但這并不意味著，我們通過歸納法總結(jié)出來的規(guī)律就一定是真實的。也就是說，這能證偽不能證明。

從驗證的角度，我們需要從根本上進行演繹推理證明在該場景下接口保持不變這一feature。可以利用斷言，這個接口在這期間的每一拍保持不變。

這樣就可以從根本上證明這個特性。

在驗證過程中“從基石和結(jié)構(gòu)切入，不要從內(nèi)容入手”。如果我們需要驗證A-C：

1、在RTL中實現(xiàn)是A ->B(RTL內(nèi)部信號) ->C，這個時候我們一定需要保證我們整個驗證環(huán)路的正確性，僅僅能夠證明B->C是不可信的，依賴RTL內(nèi)部信號的任何檢查都是賭博，哦不，是賭命。

2、如果驗證的feature是A B=C，而RTL由于各種PPA的考慮，RTL的實現(xiàn)是A B B-B=C。功能性驗證就應(yīng)該直達本源，不要看實現(xiàn)的表象，關(guān)注這個feature本身，避免參考模型和設(shè)計錯到一起。

對于驗證，驗證邏輯的比檢查更加真實。也就是說，我們從A推導(dǎo)出B，中間的過程必須符合正確的邏輯。甚至古希臘人認(rèn)為從A事物到B事物之間的邏輯才是實體，而A、B這兩個事物不一定是實體。