[導(dǎo)讀]亞里士多德說：“任何一個(gè)系統(tǒng)都有自己的第一性原理，它是一個(gè)根基性命題或假設(shè)，不能被缺省，也不能被違反?！薄兜谝恍栽怼返谝恍栽?，好比樹木的根基，沒有人會(huì)看到繁茂枝干下的樹根，但它決定了樹的一切。本文將“第一性原理”的思想引入芯片驗(yàn)證中的幾個(gè)場(chǎng)景，以理清一些驗(yàn)證問題的本質(zhì)，直達(dá)本...
亞里士多德說：“任何一個(gè)系統(tǒng)都有自己的第一性原理，它是一個(gè)根基性命題或假設(shè)，不能被缺省，也不能被違反。”
《第一性原理》
第一性原理，好比樹木的根基，沒有人會(huì)看到繁茂枝干下的樹根，但它決定了樹的一切。本文將“第一性原理”的思想引入芯片驗(yàn)證中的幾個(gè)場(chǎng)景，以理清一些驗(yàn)證問題的本質(zhì)，直達(dá)本源。我們常問，未來十年什么會(huì)變化？這個(gè)問題很重要，但更重要的問題可能是，未來十年什么不變？如果能找到不變的，把所有的資源和精力，毫無保留地投入在不變的事物上，其力量不可同日而語。“歸納法是通過實(shí)踐推導(dǎo)結(jié)論，把連續(xù)性的經(jīng)驗(yàn)推廣到一切時(shí)空。然而，并非所有事物都有連續(xù)性，固有的思維會(huì)讓你陷入“歸納法謬誤”。打破認(rèn)知邊界，實(shí)現(xiàn)第二曲線創(chuàng)新，你需要全新的思維模式——演繹法。但是演繹法必須有一個(gè)基石，一個(gè)來自系統(tǒng)之外、能夠邏輯自洽的元起點(diǎn)。這個(gè)元起點(diǎn)既可以稱為第一前提、邏輯奇點(diǎn)，也可以稱為第一性原理。”《第一性原理》
歸納法等同于芯片驗(yàn)證中simulation,當(dāng)你在某個(gè)場(chǎng)景下連續(xù)采樣一個(gè)接口100遍甚至1000遍，發(fā)現(xiàn)這個(gè)接口保持不變，就可以認(rèn)為這個(gè)接口保持不變么？1、你永遠(yuǎn)無法保證其中偶爾會(huì)出現(xiàn)的一兩次跳變；2、你永遠(yuǎn)無法從根本上證明這個(gè)接口保持不變這一特性，特別是在這些場(chǎng)景的邊界往往會(huì)超出我們預(yù)知的邊界。?接口會(huì)保持連續(xù)性的隱含假設(shè)其實(shí)也是我們驗(yàn)證過程中一種check不完備或者激勵(lì)過約的一種體現(xiàn)，存在遺留bug的風(fēng)險(xiǎn)。?雖然在科學(xué)領(lǐng)域中，歸納法以所謂的“獨(dú)立可重復(fù)性”作為標(biāo)準(zhǔn)，從而確保實(shí)驗(yàn)結(jié)果的有效性，但這并不意味著，我們通過歸納法總結(jié)出來的規(guī)律就一定是真實(shí)的。也就是說，這能證偽不能證明。
從驗(yàn)證的角度，我們需要從根本上進(jìn)行演繹推理證明在該場(chǎng)景下接口保持不變這一feature。可以利用斷言，這個(gè)接口在這期間的每一拍保持不變。這樣就可以從根本上證明這個(gè)特性。?在驗(yàn)證過程中“從基石和結(jié)構(gòu)切入，不要從內(nèi)容入手”。如果我們需要驗(yàn)證A-C：1、在RTL中實(shí)現(xiàn)是A ->B(RTL內(nèi)部信號(hào)) ->C，這個(gè)時(shí)候我們一定需要保證我們整個(gè)驗(yàn)證環(huán)路的正確性，僅僅能夠證明B->C是不可信的，依賴RTL內(nèi)部信號(hào)的任何檢查都是賭博，哦不，是賭命。
2、如果驗(yàn)證的feature是A B=C，而RTL由于各種PPA的考慮，RTL的實(shí)現(xiàn)是A B B-B=C。功能性驗(yàn)證就應(yīng)該直達(dá)本源，不要看實(shí)現(xiàn)的表象，關(guān)注這個(gè)feature本身，避免參考模型和設(shè)計(jì)錯(cuò)到一起。?對(duì)于驗(yàn)證，驗(yàn)證邏輯的比檢查更加真實(shí)。也就是說，我們從A推導(dǎo)出B，中間的過程必須符合正確的邏輯。甚至古希臘人認(rèn)為從A事物到B事物之間的邏輯才是實(shí)體，而A、B這兩個(gè)事物不一定是實(shí)體。
?
欲知詳情，請(qǐng)下載word文檔
下載文檔
本站聲明： 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點(diǎn)，本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專欄作者，如若文章內(nèi)容侵犯您的權(quán)益，請(qǐng)及時(shí)聯(lián)系本站刪除。
LED驅(qū)動(dòng)電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。
關(guān)鍵字：
驅(qū)動(dòng)電源
在工業(yè)自動(dòng)化蓬勃發(fā)展的當(dāng)下，工業(yè)電機(jī)作為核心動(dòng)力設(shè)備，其驅(qū)動(dòng)電源的性能直接關(guān)系到整個(gè)系統(tǒng)的穩(wěn)定性和可靠性。其中，反電動(dòng)勢(shì)抑制與過流保護(hù)是驅(qū)動(dòng)電源設(shè)計(jì)中至關(guān)重要的兩個(gè)環(huán)節(jié)，集成化方案的設(shè)計(jì)成為提升電機(jī)驅(qū)動(dòng)性能的關(guān)鍵。
關(guān)鍵字：
工業(yè)電機(jī)
驅(qū)動(dòng)電源
LED 驅(qū)動(dòng)電源作為 LED 照明系統(tǒng)的 “心臟”，其穩(wěn)定性直接決定了整個(gè)照明設(shè)備的使用壽命。然而，在實(shí)際應(yīng)用中，LED 驅(qū)動(dòng)電源易損壞的問題卻十分常見，不僅增加了維護(hù)成本，還影響了用戶體驗(yàn)。要解決這一問題，需從設(shè)計(jì)、生...
關(guān)鍵字：
驅(qū)動(dòng)電源
照明系統(tǒng)
散熱
電動(dòng)汽車(EV)作為新能源汽車的重要代表，正逐漸成為全球汽車產(chǎn)業(yè)的重要發(fā)展方向。電動(dòng)汽車的核心技術(shù)之一是電機(jī)驅(qū)動(dòng)控制系統(tǒng)，而絕緣柵雙極型晶體管(IGBT)作為電機(jī)驅(qū)動(dòng)系統(tǒng)中的關(guān)鍵元件，其性能直接影響到電動(dòng)汽車的動(dòng)力性能和...
關(guān)鍵字：
電動(dòng)汽車
新能源
驅(qū)動(dòng)電源
在現(xiàn)代城市建設(shè)中，街道及停車場(chǎng)照明作為基礎(chǔ)設(shè)施的重要組成部分，其質(zhì)量和效率直接關(guān)系到城市的公共安全、居民生活質(zhì)量和能源利用效率。隨著科技的進(jìn)步，高亮度白光發(fā)光二極管(LED)因其獨(dú)特的優(yōu)勢(shì)逐漸取代傳統(tǒng)光源，成為大功率區(qū)域...
關(guān)鍵字：
發(fā)光二極管
驅(qū)動(dòng)電源
LED
在LED照明技術(shù)日益普及的今天，LED驅(qū)動(dòng)電源的電磁干擾(EMI)問題成為了一個(gè)不可忽視的挑戰(zhàn)。電磁干擾不僅會(huì)影響LED燈具的正常工作，還可能對(duì)周圍電子設(shè)備造成不利影響，甚至引發(fā)系統(tǒng)故障。因此，采取有效的硬件措施來解決L...
關(guān)鍵字：
LED照明技術(shù)
電磁干擾
驅(qū)動(dòng)電源
開關(guān)電源具有效率高的特性,而且開關(guān)電源的變壓器體積比串聯(lián)穩(wěn)壓型電源的要小得多,電源電路比較整潔,整機(jī)重量也有所下降,所以,現(xiàn)在的LED驅(qū)動(dòng)電源
關(guān)鍵字：
LED
驅(qū)動(dòng)電源
開關(guān)電源
LED驅(qū)動(dòng)電源是把電源供應(yīng)轉(zhuǎn)換為特定的電壓電流以驅(qū)動(dòng)LED發(fā)光的電壓轉(zhuǎn)換器，通常情況下：LED驅(qū)動(dòng)電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。
關(guān)鍵字：
LED
隧道燈
驅(qū)動(dòng)電源
LED驅(qū)動(dòng)電源在LED照明系統(tǒng)中扮演著至關(guān)重要的角色。由于LED具有節(jié)能、環(huán)保、長(zhǎng)壽命等優(yōu)點(diǎn)，使得LED照明在各個(gè)領(lǐng)域得到廣泛應(yīng)用。然而，LED的電流、電壓特性需要特定的驅(qū)動(dòng)電源才能正常工作。本文將介紹常用的LED驅(qū)動(dòng)電...
關(guān)鍵字：
LED驅(qū)動(dòng)電源
led照明
LED驅(qū)動(dòng)電源是把電源供應(yīng)轉(zhuǎn)換為特定的電壓電流以驅(qū)動(dòng)LED發(fā)光的電源轉(zhuǎn)換器，通常情況下：LED驅(qū)動(dòng)電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。
關(guān)鍵字：
LED
驅(qū)動(dòng)電源
高壓工頻交流
崧盛股份9日發(fā)布投資者關(guān)系活動(dòng)記錄表，就植物照明發(fā)展趨勢(shì)、行業(yè)壁壘等問題進(jìn)行分享。植物照明未來市場(chǎng)需求廣闊崧盛股份指出，植物照明將會(huì)走向長(zhǎng)期產(chǎn)業(yè)領(lǐng)域。主要原因有三：第一，LED植物照明賦能終端種植更具有經(jīng)濟(jì)價(jià)值。由于LE...
關(guān)鍵字：
崧盛股份
驅(qū)動(dòng)電源
在當(dāng)今高度發(fā)展的技術(shù)中，電子產(chǎn)品的升級(jí)越來越快，LED燈技術(shù)也在不斷發(fā)展，這使我們的城市變得豐富多彩。 LED驅(qū)動(dòng)電源將電源轉(zhuǎn)換為特定的電壓和電流，以驅(qū)動(dòng)LED發(fā)光。通常情況下：LED驅(qū)動(dòng)電源的輸入包括高壓工頻交流電(即...
關(guān)鍵字：
LED
驅(qū)動(dòng)電源
高壓直流
人類社會(huì)的進(jìn)步離不開社會(huì)上各行各業(yè)的努力，各種各樣的電子產(chǎn)品的更新?lián)Q代離不開我們的設(shè)計(jì)者的努力，其實(shí)很多人并不會(huì)去了解電子產(chǎn)品的組成，比如LED電源。
關(guān)鍵字：
LED
驅(qū)動(dòng)電源
低壓直流
隨著科學(xué)技術(shù)的發(fā)展，LED技術(shù)也在不斷發(fā)展，為我們的生活帶來各種便利，為我們提供各種各樣生活信息，造福著我們?nèi)祟?。LED驅(qū)動(dòng)電源實(shí)際上是一種電源，但是它是一種特定的電源，用于驅(qū)動(dòng)LED發(fā)射帶有電壓或電流的光。 因此，LE...
關(guān)鍵字：
LED
驅(qū)動(dòng)電源
電流
LED燈作為一種新型節(jié)能和無污染光源，由于其特有的發(fā)光照明特性，在現(xiàn)代照明應(yīng)用中發(fā)揮著革命性的作用。作為 LED 照明產(chǎn)業(yè)鏈中最為核心的部件之一，LED 驅(qū)動(dòng)電源的驅(qū)動(dòng)控制技術(shù)所存在的可靠性低、成本高等典型問題一直制約著...
關(guān)鍵字：
多路
LED
驅(qū)動(dòng)電源
隨著社會(huì)的快速發(fā)展，LED技術(shù)也在飛速發(fā)展，為我們的城市的燈光煥發(fā)光彩，讓我們的生活越來越有趣，那么你知道LED需要LED驅(qū)動(dòng)電源嗎?那么你知道什么是LED驅(qū)動(dòng)電源嗎?
關(guān)鍵字：
LED
開關(guān)電源
驅(qū)動(dòng)電源
早前有新聞稱，Cree在2018年開始宣布轉(zhuǎn)型高科技半導(dǎo)體領(lǐng)域，并一邊逐漸脫離照明與LED相關(guān)業(yè)務(wù)，一邊持續(xù)投資半導(dǎo)體。在今日，Cree宣布與SMART Global Holdings, Inc.達(dá)成最終協(xié)議，擬將LED...
關(guān)鍵字：
cree
led照明
