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