SVA Assertion有什么優(yōu)勢(shì)?
簡(jiǎn)單來(lái)說(shuō)，assertion就是一個(gè)對(duì)于設(shè)計(jì)規(guī)格的check。
如果我們?cè)O(shè)計(jì)正確工作時(shí)需要滿足FRAME_上升沿后的1～2拍會(huì)出現(xiàn)LDP_的下降沿，如下圖所示
那么SVA語(yǔ)法就可以寫成：
非常簡(jiǎn)潔高效。
如果只使用Verilog呢？該怎么進(jìn)行這種規(guī)格的檢查呢？
在上面的例子中，每次監(jiān)測(cè)到FRAME_就會(huì)啟動(dòng)2個(gè)進(jìn)程（fork-join）。
如果無(wú)法在兩個(gè)時(shí)鐘周期內(nèi)監(jiān)測(cè)到LDP_的下降沿，那么就會(huì)打印FAIL。
語(yǔ)法的最高境界就是自然語(yǔ)言，從這個(gè)角度看SVA這種描述性語(yǔ)言比Verilog這類程序性語(yǔ)言要高效多了。
審核編輯 ：李倩
聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題，請(qǐng)聯(lián)系本站處理。
舉報(bào)投訴
-
SVA
+關(guān)注
關(guān)注
1文章
19瀏覽量
10117 -
Check
+關(guān)注
關(guān)注
0文章
4瀏覽量
7545
原文標(biāo)題：SVA Assertion有什么優(yōu)勢(shì)?
文章出處：【微信號(hào)：芯片驗(yàn)證工程師，微信公眾號(hào)：芯片驗(yàn)證工程師】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
mpo配線架優(yōu)勢(shì)有哪些
MPO配線架作為一種高密度光纖配線設(shè)備，具有多方面的優(yōu)勢(shì)，這些優(yōu)勢(shì)使其在數(shù)據(jù)中心、機(jī)房、通信系統(tǒng)等需要高密度光纖連接和管理的場(chǎng)景中得到了廣泛應(yīng)用。以下是MPO配線架的主要優(yōu)勢(shì)： 1. 高密度連接 多
硅谷物理服務(wù)器有哪些關(guān)鍵優(yōu)勢(shì)和特點(diǎn)
硅谷的物理服務(wù)器設(shè)施全球知名，為各類企業(yè)提供了卓越的IT基礎(chǔ)設(shè)施支持。下面將逐一探討硅谷物理服務(wù)器的關(guān)鍵優(yōu)勢(shì)和特點(diǎn)，rak小編為您整理發(fā)布硅谷物理服務(wù)器有哪些關(guān)鍵優(yōu)勢(shì)和特點(diǎn)。
數(shù)字化工廠的數(shù)據(jù)采集平臺(tái)有什么優(yōu)勢(shì)
數(shù)字化工廠的數(shù)據(jù)采集平臺(tái)有什么優(yōu)勢(shì)
一文詳解主機(jī)托管的產(chǎn)品優(yōu)勢(shì)有哪些
主機(jī)托管的產(chǎn)品優(yōu)勢(shì)有哪些？主機(jī)托管在安全、性能、資源配置與擴(kuò)展性、技術(shù)支持與維護(hù)、成本效益、管理、合法性等方面有顯著的優(yōu)勢(shì)。這些產(chǎn)品優(yōu)勢(shì)可以幫助企業(yè)構(gòu)建穩(wěn)定、高效、安全的網(wǎng)絡(luò)環(huán)境。
云安全的優(yōu)勢(shì)有哪些
云安全的優(yōu)勢(shì) 隨著云計(jì)算技術(shù)的快速發(fā)展，越來(lái)越多的企業(yè)和個(gè)人開始將數(shù)據(jù)和應(yīng)用遷移到云端。然而，云安全問(wèn)題也日益凸顯，成為人們關(guān)注的焦點(diǎn)。本文將詳細(xì)介紹云安全的優(yōu)勢(shì)。 一、云安全的定義 云安全是指在云
mbed開發(fā)平臺(tái)有什么優(yōu)勢(shì)？
我有以下問(wèn)題想了解了解：
1.用mbed開發(fā)有什么優(yōu)勢(shì)？
2.mbed對(duì)硬件有什么要求，即什么樣的硬件設(shè)計(jì)才支持mbed開發(fā)？
3.mbed開發(fā)和MDK開發(fā)有和區(qū)別？
4.對(duì)于STM32，mbed開發(fā)和ST的庫(kù)有關(guān)系嗎？
發(fā)表于 04-30 07:50
美國(guó)洛杉磯VPS的優(yōu)勢(shì)有哪些?
美國(guó)洛杉磯vps是很多用戶的選擇，那么美國(guó)洛杉磯VPS的優(yōu)勢(shì)有哪些?rak部落小編為您整理發(fā)布美國(guó)洛杉磯VPS的優(yōu)勢(shì)有哪些? 美國(guó)洛杉磯VPS的優(yōu)勢(shì)
ARM-based相比ARM cortex有何優(yōu)勢(shì)？
你看好ARM-based架構(gòu)嗎
相比ARM cortex有何優(yōu)勢(shì)
ARM其他還有什么架構(gòu)啊，感覺(jué)曝光的好少。。
發(fā)表于 04-24 06:55
國(guó)巨陶瓷貼片電容有哪些優(yōu)勢(shì)？
國(guó)巨陶瓷貼片電容有哪些優(yōu)勢(shì)，YAGEO貼片電容(MLCC)是一種電容材質(zhì)。貼片電容全稱為：多層(積層，疊層)片式陶瓷電容器，也稱為貼片電容，片容。陶瓷貼片電容相比其它電容占據(jù)較大優(yōu)勢(shì)，由于體積小作用強(qiáng)大，較多的應(yīng)用到精密電子產(chǎn)品
引領(lǐng)射頻工程師教育，鼎陽(yáng)科技發(fā)布SVA-TB01射頻教學(xué)套件
2023年12月28日，鼎陽(yáng)科技正式發(fā)布SVA-TB01射頻實(shí)驗(yàn)教學(xué)板。 SVA-TB01采用模塊化設(shè)計(jì)，使用者可以自由組合電路，適用于射頻工程師入門學(xué)習(xí)和高校射頻通信課程實(shí)驗(yàn)。 當(dāng)前高校電子技術(shù)
發(fā)表于 01-03 14:02
?371次閱讀
鼎陽(yáng)科技推出SVA-TB01射頻實(shí)驗(yàn)教學(xué)板
2023年12月28日，鼎陽(yáng)科技正式發(fā)布SVA-TB01射頻實(shí)驗(yàn)教學(xué)板。SVA-TB01采用模塊化設(shè)計(jì)，使用者可以自由組合電路，適用于射頻工程師入門學(xué)習(xí)和高校射頻通信課程實(shí)驗(yàn)。
sva_assertion: 15道助力飛升的斷言練習(xí)
每一拍都要檢查，因此不需要前置蘊(yùn)含算子了（蘊(yùn)含算子即|->和|=>）；均有且只有1比特信號(hào)有效意味著我們需要使用系統(tǒng)函數(shù)$onehot()；復(fù)位之后檢查我們需要用到disable iff語(yǔ)句；
云視頻監(jiān)控有哪些優(yōu)勢(shì)？
“云”只是一個(gè)可以上傳攝像機(jī)鏡頭的遠(yuǎn)程服務(wù)器，物理或本地錄像機(jī)的維護(hù)和升級(jí)成本很高。切換到云可以幫助降低與存儲(chǔ)攝像機(jī)網(wǎng)絡(luò)記錄的鏡頭相關(guān)的成本，并開放我們以前無(wú)法訪問(wèn)的大量功能。下面，小編詳細(xì)給大家分享一下云視頻監(jiān)控有哪些優(yōu)勢(shì)?
彈簧拉壓測(cè)試機(jī)有哪些原理與優(yōu)勢(shì)
彈簧拉壓測(cè)試機(jī)有哪些原理與優(yōu)勢(shì)？|深圳磐石測(cè)控
使用單相變頻電源有哪些優(yōu)勢(shì)呢？
使用單相變頻電源有哪些優(yōu)勢(shì)呢？ 單相變頻電源是一種常見的電源設(shè)備，它通過(guò)控制頻率來(lái)調(diào)整輸出電壓，具有以下幾個(gè)優(yōu)勢(shì)： 1. 節(jié)能高效：?jiǎn)蜗嘧冾l電源采用先進(jìn)的無(wú)感應(yīng)功率調(diào)節(jié)技術(shù)，能夠?qū)崿F(xiàn)高效能轉(zhuǎn)換。它可
工商網(wǎng)監(jiān)
評(píng)論