黑盒化技術簡化FPV計算復雜性
黑盒的意思是說在FPV證明過程中忽略掉某些子模塊以降低FPV的計算復雜性。
當一個模塊被黑盒化時，它的輸出被視為FPV設計的輸入，即它們可以取任何隨機值。部分模塊的黑盒化對FPV的性能有著非常巨大的影響，所以在FPV證明的開始應該盡量地考慮任何黑盒化的可能。
黑盒化優化技術的一個好處是保證永遠不會誤報假pass（即本來應該fail,結果證明了所有的屬性都proven了），因為黑盒化模塊使其輸出遍歷了所有值，比實際設計能夠覆蓋的場景更多了。
當然，正因為黑盒化比實際設計的場景更多了，所有可能出現假fail，這個時候需要定位問題所在，然后非常慎重地增加相應的約束。
針對不同的FPV目的，很多常見的模塊邏輯都應該被黑盒化。例如，memory的狀態空間非常巨大，對于FPV工具來說很難全部覆蓋而且數據的索引特性一般也不會是corner case，所以在某些不受影響的特性證明上是可以被黑盒化的。
一般來說，在計劃運行 FPV 工具之前，可以考慮黑盒化下列幾個模塊：
memory和cache
復雜算法模塊，例如乘法器、除法器、復雜函數或浮點邏輯
模擬電路
外部提供的（經過驗證的）IP
審核編輯：劉清
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規問題，請聯系本站處理。
舉報投訴
-
模擬電路
+關注
關注
124文章
1483瀏覽量
101895 -
Cache
+關注
關注
0文章
127瀏覽量
27996 -
乘法器
+關注
關注
8文章
192瀏覽量
36592
原文標題：FPV復雜度優化之黑盒化（blackbox）
文章出處：【微信號：芯片驗證工程師，微信公眾號：芯片驗證工程師】歡迎添加關注！文章轉載請注明出處。
發布評論請先 登錄
相關推薦
FP8在NVIDIA GPU架構和軟件系統中的應用
在深度學習和人工智能的快速發展背景下，尤其是大語言模型（Large Language Model，LLM）的蓬勃發展，模型的大小和計算復雜性不斷增加，對硬件的性能和能效提出了極高要求。
FPGA的力量：2024年AI計算領域的黑馬？
隨著人工智能（AI）的快速發展，其對計算能力的需求也在持續增長。傳統的中央處理器（CPU）和圖形處理器（GPU）雖然在AI計算中占據主導地位，但面對日益增長的數據量和計算復雜性，它們也面臨著功耗
提高PCB設備可靠性的技術措施
，應盡量簡化設計，簡化電路和結構設計，使每個部件都成為最簡設計。當今世界流行的模塊化設計方法是提高設備可靠性的有效措施。塊功能相對單一，系統由模塊組成，可以減少設計的
發表于 11-22 06:29
kicad的架構移植復雜度評估
各位網友大家好啊~~~~我正在實施一個工具，以評估CPU架構移植的復雜性。它主要關注RISC-V體系結構的移植。作為我的數據集的一部分，我收集了kicad項目。我希望收集社會人士的意見，以支持我
發表于 09-11 17:03
如何利用AI降低電子系統設計的復雜性呢？
在電子系統設計領域，復雜性一直是一個主要的挑戰。隨著技術的進步和對更高效、更強大的電子設備的需求的增長，工程師們面臨著越來越復雜的設計要求。
發表于 08-02 09:14
?300次閱讀
技術資訊 | 復雜電路分析與簡化方法
關鍵要點將復雜的電路理解為串聯和并行連接的組合。線性的概念及其在電路分析中的應用。用來快速有效地表示等效電路的附加方法。復雜電路包括串聯和并聯元件，在這里分別顯示電路設計是一門廣泛的學科，它結合
如何從線性網格創建高階網格
本文介紹Cadence Pointwise的網格生成工具是如何幫助 CFD 工程師您創建復雜幾何模型高精度模擬所需要的高階網格，且不會顯著增加計算復雜性。
在系統設計中添加“黑盒子”故障記錄議
在電子設備(而不是飛機)中增加數據記錄功能—“黑盒子”，將為系統提供非常有價值的信息。電子設備中所謂的復雜系統管理器—黑盒子，用于記錄網絡、通訊、工業、醫療設備的故障數據。記錄故障所帶來的最大好處是快速、有效地進行失效分析。本文
在推斷更大的網絡時如何解決計算復雜性增加的問題
量化是權重或激活（每層的輸入和輸出）中比特的減少，通常在 fp32 中構建。眾所周知，深度學習在推理過程中能夠以比訓練過程更低的位精度進行處理
工商網監
評論