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