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

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

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

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

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

芯片驗(yàn)證工程師 ? 來(lái)源:芯片驗(yàn)證工程師 ? 作者:芯片驗(yàn)證工程師 ? 2022-12-16 09:37 ? 次閱讀

簡(jiǎn)單來(lái)說(shuō),assertion就是一個(gè)對(duì)于設(shè)計(jì)規(guī)格的check。

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

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

那么SVA語(yǔ)法就可以寫成:

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

非常簡(jiǎn)潔高效。

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

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

在上面的例子中,每次監(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
    SVA
    +關(guān)注

    關(guān)注

    1

    文章

    19

    瀏覽量

    10216
  • Check
    +關(guān)注

    關(guān)注

    0

    文章

    4

    瀏覽量

    7686

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

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

收藏 人收藏

    評(píng)論

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

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

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

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

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

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

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

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

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

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

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

    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. 高密度連接 多
    的頭像 發(fā)表于 09-26 10:24 ?504次閱讀

    INA282,INA200什么區(qū)別,后者什么優(yōu)勢(shì)?

    采用差動(dòng)放大器INA117和采用專門的高端電流檢測(cè)芯片,比如INA282,INA200什么區(qū)別,后者什么優(yōu)勢(shì)?是不是在INA117差放后加一級(jí)相應(yīng)倍數(shù)的放大,效果就跟采用INA282,INA200等差不多。 謝謝~
    發(fā)表于 09-26 07:50

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

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

    硅谷物理服務(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)。
    的頭像 發(fā)表于 08-16 13:28 ?362次閱讀

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

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

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

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

    一文詳解主機(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)境。
    的頭像 發(fā)表于 07-24 13:12 ?345次閱讀

    電磁信號(hào)模擬系統(tǒng)哪些優(yōu)勢(shì)和劣勢(shì)

    智慧華盛恒輝電磁信號(hào)模擬系統(tǒng)具有一系列優(yōu)勢(shì)和劣勢(shì),這些優(yōu)勢(shì)和劣勢(shì)對(duì)于其應(yīng)用范圍和效果具有重要影響。以下是對(duì)電磁信號(hào)模擬系統(tǒng)優(yōu)勢(shì)和劣勢(shì)的詳細(xì)分析: 優(yōu)勢(shì) 高逼真度: 電磁信號(hào)模擬系統(tǒng)能夠
    的頭像 發(fā)表于 07-16 16:34 ?733次閱讀

    云安全的優(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ì)。 一、云安全的定義 云安全是指在云
    的頭像 發(fā)表于 07-02 09:19 ?926次閱讀

    激光焊接技術(shù)在焊接鎳鉻合金的工藝優(yōu)勢(shì)哪些

    獨(dú)特的優(yōu)勢(shì),為鎳鉻合金的焊接提供了高效、精準(zhǔn)、可靠的解決方案。下面來(lái)一起看看激光焊接技術(shù)在焊接鎳鉻合金的工藝優(yōu)勢(shì)哪些。 激光焊接技術(shù)在焊接鎳鉻合金的工藝優(yōu)勢(shì): 1、激光焊接機(jī)具有能量
    的頭像 發(fā)表于 05-29 14:52 ?550次閱讀