一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

SVA Assertion有什么優(yōu)勢?

芯片驗證工程師 ? 來源:芯片驗證工程師 ? 作者:芯片驗證工程師 ? 2022-12-16 09:37 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

簡單來說,assertion就是一個對于設(shè)計規(guī)格的check。

如果我們設(shè)計正確工作時需要滿足FRAME_上升沿后的1~2拍會出現(xiàn)LDP_的下降沿,如下圖所示

4da71332-7ce1-11ed-8abf-dac502259ad0.png

那么SVA語法就可以寫成:

4dcd2db0-7ce1-11ed-8abf-dac502259ad0.png

非常簡潔高效。

如果只使用Verilog呢?該怎么進(jìn)行這種規(guī)格的檢查呢?

4df2635a-7ce1-11ed-8abf-dac502259ad0.png

在上面的例子中,每次監(jiān)測到FRAME_就會啟動2個進(jìn)程(fork-join)。

如果無法在兩個時鐘周期內(nèi)監(jiān)測到LDP_的下降沿,那么就會打印FAIL。

語法的最高境界就是自然語言,從這個角度看SVA這種描述性語言比Verilog這類程序性語言要高效多了。

審核編輯 :李倩

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • SVA
    SVA
    +關(guān)注

    關(guān)注

    1

    文章

    19

    瀏覽量

    10262
  • Check
    +關(guān)注

    關(guān)注

    0

    文章

    4

    瀏覽量

    7736

原文標(biāo)題:SVA Assertion有什么優(yōu)勢?

文章出處:【微信號:芯片驗證工程師,微信公眾號:芯片驗證工程師】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關(guān)推薦
    熱點推薦

    物聯(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)電容和鋰電池相比,超級電容的功率密度更高,能量密度更大,使用壽命更長,體積
    的頭像 發(fā)表于 05-16 08:47 ?395次閱讀
    為什么選擇超級電容?<b class='flag-5'>優(yōu)勢</b><b class='flag-5'>有</b>哪些?

    SVA斷言的用法教程

    SVA是System Verilog Assertion的縮寫,即用SV語言來描述斷言。斷言是對設(shè)計的屬性的描述,用以檢查設(shè)計是否按照預(yù)期執(zhí)行。
    的頭像 發(fā)表于 05-15 11:39 ?744次閱讀
    <b class='flag-5'>SVA</b>斷言的用法教程

    戶外LED智慧燈桿屏是什么意思?哪些優(yōu)勢?哪些燈桿屏廠家有?

    戶外LED智慧燈桿屏是什么意思?哪些優(yōu)勢?哪些燈桿屏廠家有?
    的頭像 發(fā)表于 05-14 09:49 ?213次閱讀
    戶外LED智慧燈桿屏是什么意思?<b class='flag-5'>有</b>哪些<b class='flag-5'>優(yōu)勢</b>?哪些燈桿屏廠家有?

    燒結(jié)銀的導(dǎo)電性能比其他導(dǎo)電膠優(yōu)勢哪些???

    燒結(jié)銀的導(dǎo)電性能比其他導(dǎo)電膠優(yōu)勢哪些???
    的頭像 發(fā)表于 02-27 21:41 ?239次閱讀

    高光譜相機的優(yōu)勢哪些?

    高光譜相機作為現(xiàn)代信息采集技術(shù)的重要工具,近年來受到了廣泛關(guān)注。那么,高光譜相機究竟是什么?它比傳統(tǒng)相機什么獨特之處?本文將為你一一揭曉。 什么是高光譜相機? 高光譜相機是一種能夠捕獲物體在大量
    的頭像 發(fā)表于 02-21 14:54 ?452次閱讀
    高光譜相機的<b class='flag-5'>優(yōu)勢</b><b class='flag-5'>有</b>哪些?

    云服務(wù)器對比空間什么優(yōu)勢和劣勢?

    云服務(wù)器相比空間,優(yōu)勢在于提供更高管理權(quán)限、靈活可擴(kuò)展的資源配置、卓越性能及更強安全性,適合特定需求和技術(shù)背景的用戶。然而,云服務(wù)器成本較高,技術(shù)門檻也相對較高,且依賴穩(wěn)定互聯(lián)網(wǎng)連接。相比之下
    的頭像 發(fā)表于 02-21 10:42 ?319次閱讀

    美國大帶寬服務(wù)器租用哪些優(yōu)勢

    美國大帶寬服務(wù)器租用具有多方面的優(yōu)勢,以下是具體的優(yōu)勢分析,主機推薦小編為您整理發(fā)布美國大帶寬服務(wù)器租用哪些優(yōu)勢。
    的頭像 發(fā)表于 01-23 09:22 ?384次閱讀

    ADS1256什么優(yōu)勢呢?

    這個AD采樣芯片ADS1256,什么優(yōu)勢呢?
    發(fā)表于 01-16 06:32

    mpo配線架優(yōu)勢哪些

    MPO配線架作為一種高密度光纖配線設(shè)備,具有多方面的優(yōu)勢,這些優(yōu)勢使其在數(shù)據(jù)中心、機房、通信系統(tǒng)等需要高密度光纖連接和管理的場景中得到了廣泛應(yīng)用。以下是MPO配線架的主要優(yōu)勢: 1. 高密度連接 多
    的頭像 發(fā)表于 09-26 10:24 ?655次閱讀

    ads8588s相對ad7606什么什么優(yōu)勢呢?

    ads8588s相對ad7606什么什么優(yōu)勢呢,現(xiàn)在項目再用ad7606,也想了解下ads8588,性價比高的話,就換了,外圍電路應(yīng)該怎么設(shè)計呢?謝謝
    發(fā)表于 08-27 07:11

    硅谷物理服務(wù)器哪些關(guān)鍵優(yōu)勢和特點

    硅谷的物理服務(wù)器設(shè)施全球知名,為各類企業(yè)提供了卓越的IT基礎(chǔ)設(shè)施支持。下面將逐一探討硅谷物理服務(wù)器的關(guān)鍵優(yōu)勢和特點,rak小編為您整理發(fā)布硅谷物理服務(wù)器哪些關(guān)鍵優(yōu)勢和特點。
    的頭像 發(fā)表于 08-16 13:28 ?442次閱讀

    射頻技術(shù)哪些優(yōu)勢和劣勢

    射頻技術(shù),作為一種廣泛應(yīng)用的電磁波技術(shù),在通信、醫(yī)療、工業(yè)等多個領(lǐng)域發(fā)揮著重要作用。其優(yōu)勢在于高效性、靈活性、非接觸性等方面,但同時也存在一些劣勢,如熱偏移現(xiàn)象、尖角效應(yīng)以及信號干擾等。以下是對射頻技術(shù)優(yōu)勢和劣勢的詳細(xì)探討。
    的頭像 發(fā)表于 08-13 10:13 ?3134次閱讀

    數(shù)字化工廠的數(shù)據(jù)采集平臺什么優(yōu)勢

    數(shù)字化工廠的數(shù)據(jù)采集平臺什么優(yōu)勢
    的頭像 發(fā)表于 07-31 16:17 ?531次閱讀

    一文詳解主機托管的產(chǎn)品優(yōu)勢哪些

    主機托管的產(chǎn)品優(yōu)勢哪些?主機托管在安全、性能、資源配置與擴(kuò)展性、技術(shù)支持與維護(hù)、成本效益、管理、合法性等方面有顯著的優(yōu)勢。這些產(chǎn)品優(yōu)勢可以幫助企業(yè)構(gòu)建穩(wěn)定、高效、安全的網(wǎng)絡(luò)環(huán)境。
    的頭像 發(fā)表于 07-24 13:12 ?411次閱讀