SVA Assertion有什么優(yōu)勢?
簡單來說，assertion就是一個對于設(shè)計(jì)規(guī)格的check。
如果我們設(shè)計(jì)正確工作時(shí)需要滿足FRAME_上升沿后的1～2拍會出現(xiàn)LDP_的下降沿，如下圖所示
那么SVA語法就可以寫成：
非常簡潔高效。
如果只使用Verilog呢？該怎么進(jìn)行這種規(guī)格的檢查呢？
在上面的例子中，每次監(jiān)測到FRAME_就會啟動2個進(jìn)程（fork-join）。
如果無法在兩個時(shí)鐘周期內(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瀏覽量
10115 -
Check
+關(guān)注
關(guān)注
0文章
4瀏覽量
7540
原文標(biāo)題：SVA Assertion有什么優(yōu)勢?
文章出處：【微信號：芯片驗(yàn)證工程師，微信公眾號：芯片驗(yàn)證工程師】歡迎添加關(guān)注！文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
相關(guān)推薦
硅谷物理服務(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)。
一文詳解主機(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)境。
云安全的優(yōu)勢有哪些
云安全的優(yōu)勢 隨著云計(jì)算技術(shù)的快速發(fā)展，越來越多的企業(yè)和個人開始將數(shù)據(jù)和應(yīng)用遷移到云端。然而，云安全問題也日益凸顯，成為人們關(guān)注的焦點(diǎn)。本文將詳細(xì)介紹云安全的優(yōu)勢。 一、云安全的定義 云安全是指在云
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)勢
國巨陶瓷貼片電容有哪些優(yōu)勢？
國巨陶瓷貼片電容有哪些優(yōu)勢，YAGEO貼片電容(MLCC)是一種電容材質(zhì)。貼片電容全稱為：多層(積層，疊層)片式陶瓷電容器，也稱為貼片電容，片容。陶瓷貼片電容相比其它電容占據(jù)較大優(yōu)勢，由于體積小作用強(qiáng)大，較多的應(yīng)用到精密電子產(chǎn)品
引領(lǐng)射頻工程師教育，鼎陽科技發(fā)布SVA-TB01射頻教學(xué)套件
2023年12月28日，鼎陽科技正式發(fā)布SVA-TB01射頻實(shí)驗(yàn)教學(xué)板。 SVA-TB01采用模塊化設(shè)計(jì)，使用者可以自由組合電路，適用于射頻工程師入門學(xué)習(xí)和高校射頻通信課程實(shí)驗(yàn)。 當(dāng)前高校電子技術(shù)
發(fā)表于 01-03 14:02
?327次閱讀
鼎陽科技推出SVA-TB01射頻實(shí)驗(yàn)教學(xué)板
2023年12月28日，鼎陽科技正式發(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比特信號有效意味著我們需要使用系統(tǒng)函數(shù)$onehot()；復(fù)位之后檢查我們需要用到disable iff語句；
云視頻監(jiān)控有哪些優(yōu)勢？
“云”只是一個可以上傳攝像機(jī)鏡頭的遠(yuǎn)程服務(wù)器，物理或本地錄像機(jī)的維護(hù)和升級成本很高。切換到云可以幫助降低與存儲攝像機(jī)網(wǎng)絡(luò)記錄的鏡頭相關(guān)的成本，并開放我們以前無法訪問的大量功能。下面，小編詳細(xì)給大家分享一下云視頻監(jiān)控有哪些優(yōu)勢?
工商網(wǎng)監(jiān)
評論