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