SVA Assertion有什么優勢?
簡單來說，assertion就是一個對于設計規格的check。
如果我們設計正確工作時需要滿足FRAME_上升沿后的1～2拍會出現LDP_的下降沿，如下圖所示
那么SVA語法就可以寫成：
非常簡潔高效。
如果只使用Verilog呢？該怎么進行這種規格的檢查呢？
在上面的例子中，每次監測到FRAME_就會啟動2個進程（fork-join）。
如果無法在兩個時鐘周期內監測到LDP_的下降沿，那么就會打印FAIL。
語法的最高境界就是自然語言，從這個角度看SVA這種描述性語言比Verilog這類程序性語言要高效多了。
審核編輯 ：李倩
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規問題，請聯系本站處理。
舉報投訴
-
SVA
+關注
關注
1文章
19瀏覽量
10361 -
Check
+關注
關注
0文章
4瀏覽量
7825
原文標題：SVA Assertion有什么優勢?
文章出處：【微信號：芯片驗證工程師，微信公眾號：芯片驗證工程師】歡迎添加關注！文章轉載請注明出處。
發布評論請先 登錄
相關推薦
熱點推薦
鑄鐵測試平臺的優勢有哪些
鑄鐵測試平臺與同樣用于測量、裝配的其他材料（如花崗巖、鋼、碳纖維復合材料）相比，鑄鐵測試平臺的優勢非常突出且綜合。這也是它在重工業、精和密制造領域經久不衰的核心原因。以下是其核心優勢的詳細分解：1.
發表于 01-07 13:29
斷言（Assertion）使用
斷言（Assertion），斷言用于在程序中檢查特定條件是否滿足，如果條件為假，會觸發斷言失敗，并輸出相關信息
#define assert(expression) ((void)0
發表于 12-12 07:46
采用Prefetch+Cache架構有什么優勢？
我看官方說，采用Prefetch+Cache架構同頻CoreMark 計算力/功耗比超越同類產品，這優勢就是低功耗么？要是具體芯片比較的話，應該怎么比？
發表于 12-11 07:35
CW32L010MCU的主要優勢有哪些？
CW32L010安全低功耗MCU，主要是可支持低成本、高性能、低功耗、高度集成的的應用方案，這款MCU主要優勢再哪里？有哪些數據對比？
發表于 11-21 06:31
各位大佬幫忙看一下，下面的assertion有啥問題？為什么用verdi吃文件的時候會報錯誤？
各位大佬幫忙看一下，下面的assertion有啥問題？為什么用verdi吃文件的時候會報錯誤
發表于 11-10 06:51
光電復合纜有哪些優勢
光電復合纜是一種將光纖和電力傳輸線集成在同一纜體中的新型線纜，它結合了光通信和電力傳輸的雙重功能，在多個領域展現出顯著優勢。以下是其核心優勢及具體應用場景分析： 一、核心優勢 空間與成本優化 節省
物聯網藍牙模塊有哪些優勢？
隨著物聯網技術的不斷發展，藍牙模塊作為物聯網的重要組成部分，其應用越來越廣泛。那么，物聯網藍牙模塊有哪些優勢呢？低功耗：藍牙模塊采用了低功耗技術，使得其在傳輸數據時能夠有效的降低能耗，從而延長了設備
發表于 06-28 21:49
為什么選擇超級電容？優勢有哪些？
為什么選擇超級電容？優勢有哪些？為什么選擇超級電容，就不得不仔細說說它的優勢了。超級電容作為一種新型電化學儲能裝置，與傳統電容和鋰電池相比，超級電容的功率密度更高，能量密度更大，使用壽命更長，體積
SVA斷言的用法教程
SVA是System Verilog Assertion的縮寫，即用SV語言來描述斷言。斷言是對設計的屬性的描述，用以檢查設計是否按照預期執行。
工商網監
評論