SVA Assertion有什么優(yōu)勢?
簡單來說，assertion就是一個對于設計規(guī)格的check。
如果我們設計正確工作時需要滿足FRAME_上升沿后的1～2拍會出現(xiàn)LDP_的下降沿，如下圖所示
那么SVA語法就可以寫成：
非常簡潔高效。
如果只使用Verilog呢？該怎么進行這種規(guī)格的檢查呢？
在上面的例子中，每次監(jiān)測到FRAME_就會啟動2個進程（fork-join）。
如果無法在兩個時鐘周期內監(jiān)測到LDP_的下降沿，那么就會打印FAIL。
語法的最高境界就是自然語言，從這個角度看SVA這種描述性語言比Verilog這類程序性語言要高效多了。
審核編輯 ：李倩
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規(guī)問題，請聯(lián)系本站處理。
舉報投訴
-
SVA
+關注
關注
1文章
19瀏覽量
10153 -
Check
+關注
關注
0文章
4瀏覽量
7596
原文標題：SVA Assertion有什么優(yōu)勢?
文章出處：【微信號：芯片驗證工程師，微信公眾號：芯片驗證工程師】歡迎添加關注！文章轉載請注明出處。
發(fā)布評論請先 登錄
相關推薦
美國大帶寬服務器租用有哪些優(yōu)勢呢
美國大帶寬服務器租用具有多方面的優(yōu)勢，以下是具體的優(yōu)勢分析，主機推薦小編為您整理發(fā)布美國大帶寬服務器租用有哪些優(yōu)勢。
mpo配線架優(yōu)勢有哪些
MPO配線架作為一種高密度光纖配線設備，具有多方面的優(yōu)勢，這些優(yōu)勢使其在數(shù)據(jù)中心、機房、通信系統(tǒng)等需要高密度光纖連接和管理的場景中得到了廣泛應用。以下是MPO配線架的主要優(yōu)勢： 1. 高密度連接 多
ads8588s相對ad7606有什么有什么優(yōu)勢呢？
ads8588s相對ad7606有什么有什么優(yōu)勢呢，現(xiàn)在項目再用ad7606，也想了解下ads8588，性價比高的話，就換了，外圍電路應該怎么設計呢？謝謝
發(fā)表于 08-27 07:11
硅谷物理服務器有哪些關鍵優(yōu)勢和特點
硅谷的物理服務器設施全球知名，為各類企業(yè)提供了卓越的IT基礎設施支持。下面將逐一探討硅谷物理服務器的關鍵優(yōu)勢和特點，rak小編為您整理發(fā)布硅谷物理服務器有哪些關鍵優(yōu)勢和特點。
射頻技術有哪些優(yōu)勢和劣勢
射頻技術，作為一種廣泛應用的電磁波技術，在通信、醫(yī)療、工業(yè)等多個領域發(fā)揮著重要作用。其優(yōu)勢在于高效性、靈活性、非接觸性等方面，但同時也存在一些劣勢，如熱偏移現(xiàn)象、尖角效應以及信號干擾等。以下是對射頻技術優(yōu)勢和劣勢的詳細探討。
數(shù)字化工廠的數(shù)據(jù)采集平臺有什么優(yōu)勢
數(shù)字化工廠的數(shù)據(jù)采集平臺有什么優(yōu)勢
一文詳解主機托管的產(chǎn)品優(yōu)勢有哪些
主機托管的產(chǎn)品優(yōu)勢有哪些？主機托管在安全、性能、資源配置與擴展性、技術支持與維護、成本效益、管理、合法性等方面有顯著的優(yōu)勢。這些產(chǎn)品優(yōu)勢可以幫助企業(yè)構建穩(wěn)定、高效、安全的網(wǎng)絡環(huán)境。
電磁信號模擬系統(tǒng)有哪些優(yōu)勢和劣勢
智慧華盛恒輝電磁信號模擬系統(tǒng)具有一系列優(yōu)勢和劣勢，這些優(yōu)勢和劣勢對于其應用范圍和效果具有重要影響。以下是對電磁信號模擬系統(tǒng)優(yōu)勢和劣勢的詳細分析： 優(yōu)勢 高逼真度： 電磁信號模擬系統(tǒng)能夠
云安全的優(yōu)勢有哪些
云安全的優(yōu)勢 隨著云計算技術的快速發(fā)展，越來越多的企業(yè)和個人開始將數(shù)據(jù)和應用遷移到云端。然而，云安全問題也日益凸顯，成為人們關注的焦點。本文將詳細介紹云安全的優(yōu)勢。 一、云安全的定義 云安全是指在云
激光焊接技術在焊接鎳鉻合金的工藝優(yōu)勢有哪些
獨特的優(yōu)勢，為鎳鉻合金的焊接提供了高效、精準、可靠的解決方案。下面來一起看看激光焊接技術在焊接鎳鉻合金的工藝優(yōu)勢有哪些。 激光焊接技術在焊接鎳鉻合金的工藝優(yōu)勢： 1、激光焊接機具有能量
mbed開發(fā)平臺有什么優(yōu)勢？
我有以下問題想了解了解：
1.用mbed開發(fā)有什么優(yōu)勢？
2.mbed對硬件有什么要求，即什么樣的硬件設計才支持mbed開發(fā)？
3.mbed開發(fā)和MDK開發(fā)有和區(qū)別？
4.對于STM32，mbed開發(fā)和ST的庫有關系嗎？
發(fā)表于 04-30 07:50
美國洛杉磯VPS的優(yōu)勢有哪些?
美國洛杉磯vps是很多用戶的選擇，那么美國洛杉磯VPS的優(yōu)勢有哪些?rak部落小編為您整理發(fā)布美國洛杉磯VPS的優(yōu)勢有哪些? 美國洛杉磯VPS的優(yōu)勢
ARM-based相比ARM cortex有何優(yōu)勢？
你看好ARM-based架構嗎
相比ARM cortex有何優(yōu)勢
ARM其他還有什么架構啊，感覺曝光的好少。。
發(fā)表于 04-24 06:55
國巨陶瓷貼片電容有哪些優(yōu)勢？
國巨陶瓷貼片電容有哪些優(yōu)勢，YAGEO貼片電容(MLCC)是一種電容材質。貼片電容全稱為：多層(積層，疊層)片式陶瓷電容器，也稱為貼片電容，片容。陶瓷貼片電容相比其它電容占據(jù)較大優(yōu)勢，由于體積小作用強大，較多的應用到精密電子產(chǎn)品
工商網(wǎng)監(jiān)
評論