衡阳派盒市场营销有限公司

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

受約束隨機驗證的效果真的比直接用例測試好嗎?

芯片驗證工程師 ? 來源:芯片驗證工程師 ? 2023-04-10 11:13 ? 次閱讀

8db6127a-d6a0-11ed-bfe3-dac502259ad0.jpg

當介紹uvm驗證時大家肯定都看過上面類似的圖片,以展示受約束的隨機驗證相比直接用例測試如何具有先進性。

但是,在實際的項目執行過程中,受約束隨機驗證的效果真的比直接用例測試好么?

說實話,真的不見得。可以考慮以下幾種情況:

如果初期驗證環境搭建得太復雜,是不是有可能直接用例已經測完了一半的特性,隨機驗證還沒有啟動。比較尷尬的局面就是再沒有簡單的bug可以發現了,數據上會顯得隨機驗證的效果比較差,甚至有可能圖上的time savings都沒有了。

隨機用例很多時候沒有辦法覆蓋到某個指定的場景,甚至錯誤的覆蓋率寫法讓你誤以為覆蓋了某個場景,但不進行波形確認的話可能是個假PASS。

上圖中的曲線斜率是一個為了展示受約束隨機的優越性而畫出來的。實際項目中有可能隨機效果不是很好,并不會有這么陡峭的斜率。

總之,受約束隨機驗證和直接用例驗證并不沖突。在實際的項目中,兩者需要共存。哪些方面需要增加定向用例?哪些方面需要增加隨機驗證?這些都是需要在驗證執行過程中反復迭代的事情。





審核編輯:劉清

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • UVM
    UVM
    +關注

    關注

    0

    文章

    182

    瀏覽量

    19227
  • PASS開關
    +關注

    關注

    1

    文章

    2

    瀏覽量

    1279

原文標題:受約束隨機驗證真的比直接用例好么?

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

收藏 人收藏

    評論

    相關推薦

    一種用于隨機約束仿真的SAT增強的字級求解器

    摘 要 隨著硬件設計復雜度的激增,驗證已被廣泛認為是制約整個芯片設計流程的瓶頸。基于仿真的驗證通常通過生成一系列滿足特定布爾/位向量約束隨機
    發表于 06-06 10:28 ?633次閱讀
    一種用于<b class='flag-5'>隨機</b><b class='flag-5'>約束</b>仿<b class='flag-5'>真的</b>SAT增強的字級求解器

    PLL和FIFO的受約束問題

    轉移到hi_pclk_g。TIG不應該導致hi_pclk_g完全不受約束嗎?謝謝,布魯諾以上來自于谷歌翻譯以下為原文I don't really understand why this happens
    發表于 07-15 07:48

    低電流損耗真的好嗎

    用電流損耗更低的RS-485收發器替代舊器件,結果卻發生故障,是什么原因呢?低電流損耗真的好嗎
    發表于 08-07 08:29

    如何使用Alexa語音服務集成在受約束的物聯網設備上設置語音命令

    本指南供硬件和軟件架構師學習如何使用Alexa語音服務集成在受約束的物聯網設備上設置語音命令。AWS物聯網核心的Alexa語音服務集成(AIA)將與Alexa Voice Services集成所需
    發表于 08-02 12:53

    設計驗證中的隨機約束

    隨機約束在現代集成電路驗證中已得到國際IC 設計業界的普遍認可,并逐漸開始普及。與傳統的定向測試比較,它在驗證效率、
    發表于 12-14 09:54 ?13次下載

    多準則優化的規模約束測試選擇

    軟件修改之后可以重新測試之前的所有用來發現錯誤,但是這種方法耗費巨大,為了減少測試用例數量,優化測試工作,本文提出了一種全新的
    發表于 11-16 09:37 ?4次下載

    過度約束正式的財產驗證(FPV)會有什么影響

    ,即斷言和約束,而不是測試平臺。斷言也用于模擬,但約束的作用是不同的。理解約束對于成功使用FPV是必要的。
    的頭像 發表于 08-07 15:35 ?2159次閱讀

    PADS的視覺約束驗證

    很容易驗證約束的間隙,高速、制造、通過計算最大,在墊和可測試性的限制。建立、保存和使用驗證方案。違反可以以直觀的表格只有兩個鼠標點擊。從電子表格自動選擇一個違反規則的放大和糾正違反并迅
    的頭像 發表于 11-01 07:00 ?2092次閱讀

    詳談黑盒測試與白盒測試的異同及

    詳談黑盒測試與白盒測試的異同及
    的頭像 發表于 08-19 17:07 ?6952次閱讀
    詳談黑盒<b class='flag-5'>測試</b>與白盒<b class='flag-5'>測試</b>的異同及<b class='flag-5'>用</b><b class='flag-5'>例</b>

    簡述SystemVerilog的隨機約束方法

    上一篇文章介紹了SystemVerilog的各種隨機化方法,本文將在其基礎上引入SystemVerilog的隨機約束方法(constraints)。通過使用隨機
    的頭像 發表于 01-21 17:03 ?2195次閱讀

    創建約束隨機測試目標

    為了實現驗證目標,測試開發者需要控制測試激勵的生成以覆蓋特定的場景。測試開發者可以
    的頭像 發表于 06-17 14:06 ?681次閱讀
    創建<b class='flag-5'>約束</b><b class='flag-5'>隨機</b><b class='flag-5'>測試</b>目標

    超級電容器它真的電池好嗎

    近些年超級電容器開始進入人的是實現是因新能源未來的電動汽車中,但是,超級電容器到底是什么,他真的電池還好嗎?超級電容真的是儲能的未來嗎?在深入探討超級電容器是否
    的頭像 發表于 03-04 09:14 ?1109次閱讀
    超級電容器它<b class='flag-5'>真的</b><b class='flag-5'>比</b>電池<b class='flag-5'>好嗎</b>?

    SystemVerilog的隨機約束方法

    上一篇文章《暗藏玄機的SV隨機化》介紹了SystemVerilog的各種隨機化方法,本文將在其基礎上引入SystemVerilog的隨機約束方法(constraints)。通過使用
    的頭像 發表于 09-24 12:15 ?1876次閱讀

    差分對緊耦合真的松耦合好嗎

    差分對緊耦合真的松耦合好嗎
    的頭像 發表于 11-30 15:24 ?1032次閱讀
    差分對緊耦合<b class='flag-5'>真的</b><b class='flag-5'>比</b>松耦合<b class='flag-5'>好嗎</b>?

    EMC與EMI測試整改:從問題識別到效果驗證

    深圳創達電子|EMC與EMI測試整改:從問題識別到效果驗證
    的頭像 發表于 06-27 10:37 ?584次閱讀
    EMC與EMI<b class='flag-5'>測試</b>整改:從問題識別到<b class='flag-5'>效果</b><b class='flag-5'>驗證</b>
    云博娱乐城| 亿酷棋牌官方下载| 总格24名人| 永利高投注网哪个好| 游艇会百家乐官网的玩法技巧和规则 | 百家乐园首选| 属狗的和虎的做生意好吗 | 威尼斯人娱乐城可靠吗| 百家乐视频双扣游戏| 百家乐官网服务区| 真人百家乐官网信誉| 白山在线棋牌游戏| 威尼斯人娱乐网可信吗| 百家乐网上真钱娱乐平台| 奥斯卡百家乐官网的玩法技巧和规则 | 澳门百家乐的公式| 百家乐官网入庄闲概率| 网上百家乐官网哪家最好| 南投市| 明升开户 | 大发888怎么下载| 百家乐电器维修| 百家乐全自动分析软件| 杨公风水24山分金| 太子百家乐官网的玩法技巧和规则| 百家乐官网桌布橡胶| 百家乐官网是如何出千的| 折式百家乐官网赌台| 江华| 网上娱乐| 珠江太阳城广场| 大发888娱乐城 建账号| 大发888金皇冠娱乐城| 狼2老虎机清零密码| 百家乐第三张规则| 捷豹百家乐娱乐城| 网上百家乐作弊法| 百家乐保单机作弊| 欧凯百家乐的玩法技巧和规则| 不夜城百家乐的玩法技巧和规则| 金杯百家乐的玩法技巧和规则|