色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

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

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

3天內不再提示

看看使用芯片驗證隨機帶來的六宗罪

sanyue7758 ? 來源:處芯積律 ? 2023-04-10 11:21 ? 次閱讀

以前看到不少驗證技術書籍都在說驗證環境中隨機怎么怎么好,然后為了隨機,UVM,SV 提供了什么什么支持。

但是最近的一些工作小編發現在驗證中采用隨機存在很多缺點。下面小編帶大家看看使用隨機帶來的六宗罪。

第一宗罪:難以debug

出現fail的test,當debug完,對設計和驗證環境做了改動,可能無法復現fail的場景。

如何確保發現的testbench的問題,或者RTL的問題有真的修掉?一般的做法是用同樣的seed,然后跑一遍之前的fail的test。但是有很多時候,由于環境的文件,約束等改變,再用同樣的seed 跑fail 的test 和之前的行為不一致,從而錯誤的認為問題已經修掉。

第二宗罪:難以覆蓋到特定場景

有些場景通過隨機撞到的概率非常低。

如下圖所示,C=A &&B,在下圖場景中想通過 隨機到 (A==1)&&(B==1)的 場景,非常難。

9a037e26-d6bb-11ed-bfe3-dac502259ad0.png

第三宗罪:驗證時間不確定

回歸結果不可靠。一次通過率100%,不代表次次回歸100%。

一次回歸可能100%,第二次回歸又變成90%。連續10次回歸100%,第十一次回歸又出現fail的test。

第四宗罪:重復測試用例很多

浪費太多license 和服務器資源。

因為單次regression不能保證沒有問題,所以要周周跑,月月跑,一直跑到tapout,這浪費了很多license和服務器資源。特別是有些test 打到的場景重復,做一些無效驗證,給公司資源造成極大浪費。

第五宗罪:覆蓋率收集耗費資源

coverage 收斂比較耗時間和資源。

由于隨機約束造成不同場景出現的概率不一樣,通過隨機測試將代碼覆蓋率和功能覆蓋率補全需要經過大量的回歸測試。coverage的收斂速度沒有直接測試來得快。

下面是一個案例,在跑完一版regression后,功能覆蓋率是80.49%。

9a26f734-d6bb-11ed-bfe3-dac502259ad0.png

我們想將該功能覆蓋率補全,采用直接測試用例,我們調用了5次測試,可以將覆蓋率打到95.90% ,剩下的部分可以waive掉。

9a599c20-d6bb-11ed-bfe3-dac502259ad0.png

當我們采用隨機測試,調用了5次隨機測試,覆蓋率為90.62%。

9a83e5e8-d6bb-11ed-bfe3-dac502259ad0.png

當我們采用隨機測試,調用了10次隨機測試,覆蓋率為93.97%。

9aa85680-d6bb-11ed-bfe3-dac502259ad0.png

當我們采用隨機測試,調用了20次隨機測試,覆蓋率為95.90%,達到了和直接測試同樣的效果。

9ac3075a-d6bb-11ed-bfe3-dac502259ad0.png

第六宗罪:場景打不全

隨機驗證打不全所有場景

9b11af68-d6bb-11ed-bfe3-dac502259ad0.png

如上圖所示,隨機的行為很難將所有的測試路徑都打到。

隨機有沒有好處呢?當然有,比如

探索更多的場景:隨機驗證可以探索更多的測試場景,覆蓋更多的狀態空間。這可以幫助發現設計中的潛在問題和漏洞,從而提高驗證的質量。

發現意外錯誤:隨機測試可以揭示一些設計者未曾考慮的異常情況,以及在正常測試中可能被忽略的邊緣情況。這有助于找到并修復一些潛在的設計錯誤。

減少人為偏見:手動創建測試用例可能受到驗證工程師的認知偏見和經驗限制的影響。隨機驗證方法可以降低這種偏見對驗證結果的影響,從而提高驗證的可靠性。

減少人工編寫測試用例的時間和精力:隨機驗證方法可以自動生成大量測試用例,從而減少人工編寫測試用例的時間和精力。這有助于縮短驗證周期,提高驗證效率。

更好地應對復雜性:隨著芯片設計變得越來越復雜,人工創建足夠多的測試用例以覆蓋所有可能的場景變得越來越困難。隨機驗證方法可以在面對復雜設計時自動生成更多的測試用例,從而更好地應對這種復雜性。

雖然使用隨機驗證存在很多問題,但它在許多情況下仍然是一種非常有效的驗證方法。為了克服這些缺點,可以將隨機驗證與其他驗證方法(如指導性驗證、形式驗證等)相結合,以實現更全面、有效的芯片驗證。





審核編輯:劉清

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

    關注

    1

    文章

    385

    瀏覽量

    59897
  • UVM
    UVM
    +關注

    關注

    0

    文章

    182

    瀏覽量

    19205

原文標題:芯片驗證隨機(random)的六宗罪

文章出處:【微信號:處芯積律,微信公眾號:處芯積律】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    關于功能驗證、時序驗證、形式驗證、時序建模的論文

    隨著集成電路的規模和復雜度不斷增大,驗證的作用越來越重要。要在較短的時間內保證芯片最終能正常工作,需要將各種驗證方法相結合,全面充分地驗證整個系統。FF-DX是一款高性能定點DSP,為
    發表于 12-07 17:40

    wlfi(劉孺)

    wlfi(劉孺)
    發表于 08-27 00:38

    【云智易試用體驗】開箱與初評

    本帖最后由 guo8113 于 2015-9-5 20:47 編輯 老祖宗教導我們要知恩圖報,免費獲得的體驗板子拿到了,首先還是要感謝elecfans和云智易。在收到cici的電話時沒有聽清楚獲得使用板卡的名字,所以抓緊到論壇看了下,著實還是十分激動的,以為是OK210云云。廢話不多說,韻達快遞收到郵件的第二天收到了快遞。盒子挺小巧:慢慢的把板子拽出來,說實話這盒子跟板子不是十分的契合,所以wifi模塊和電機被嵌到了盒子里:紅色板子看上去很舒服:拿出板子仔細端詳了下,總體給我的感覺像是電子愛好者做的實驗板:不過板子的焊接不錯。首先不得不贊美作為xx云,云xx眾多類似(相似還是相同)產品中的一員,我覺得上面的外設還是可以的,RGB, MOTO, 溫濕度,距離,紅外(沒有焊接),光線這些都有。還一點值得稱贊的是,提供了20PIN JTAG接口。說完了優點就該“但是”了。但是我認為云智易的板子至少可以在以下6個方面做的更好:1.包裝環保而山寨,包裝袋不專業2.外形方正,無屏幕接口,尺寸也是不小3.外接不方便,既然是demo就應留足用戶外接擴展的需求,這一點不如采用Arduino4.跳線設置多,繁雜。5.沒有快速上手說明,說明文檔簡陋,不好GettingStarted。6.pl2303發燙,UART接反,拿到板子之前看見QQ群有人反映接反,看了下原理圖果然沒有失望。 上面說了,快速上手跟演示實例看了半小時沒搞定,app官網沒找到,qq群找到了貌似沒法用,使用指南里說的也太xxxx了,所以至于上手與軟件的開發放在后面說了。總體感覺是這么簡單的個東西竟然半小時沒玩起來。。。
    發表于 09-05 20:38

    怎么設計基于USB和FPGA的隨機數發生器驗證平臺?

    隨機數發生器是信息安全領域不可或缺的重要組成部分,廣泛應用于金融、軍事等信息安全保密通信的電子設備中。目前,隨著對RNG體積、功耗、接口方式等要求的提高,設計集成化芯片或IP核形式的隨機數發生器成為
    發表于 08-27 06:05

    電機材料/性能優劣對比

    電機材料、性能優劣對比,劣質電機十“!
    發表于 02-01 07:15

    設計驗證中的隨機約束

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

    選購低價筆記本:不得不說的五

    選購低價筆記本:不得不說的五 在一些人對低價機的性能和質量將信將疑時,另有一部分人對低價筆記本產生了一種過度的狂熱
    發表于 01-21 10:14 ?359次閱讀

    基于OVM驗證平臺的IP芯片驗證

      芯片驗證的工作量約占整個芯片研發的70%,已然成為縮短芯片上市時間的瓶頸。應用OVM方法學搭建SoC設計中的DMA IP驗證平臺,可有效
    發表于 06-20 09:03 ?2850次閱讀

    基于System Verilog的可重用驗證平臺設計及驗證結果分析

    ,并應用到包交換芯片的仿真驗證中。仿真結果顯示,新設計的驗證平臺能通過修改隨機信號約束條件和產生隨機信號的權重值,使
    發表于 01-12 11:28 ?2705次閱讀
    基于System Verilog的可重用<b class='flag-5'>驗證</b>平臺設計及<b class='flag-5'>驗證</b>結果分析

    分享編程的七宗罪,也許對你會有所啟發

    我不知道為什么,身邊總有一些人,使用很短 / 隨機的名稱來給變量命名。當你的項目只有 10-20 行代碼,或者只是代碼片段時,你可以使用這種方式進行命名,但是在大項目中,不要這么做。不合適的命名,對可讀性和效率有致命的影響。
    的頭像 發表于 02-20 09:05 ?1662次閱讀

    安防行業產能過剩 智能安防企業成本控制的“四”概述

    優化的良性競爭來跳脫出惡性競爭的怪圈,以最終實現行業內的優勝劣汰。本文以一則案例為背景,來談談智能安防企業成本控制“四”(四大問題),并給出相應的“贖罪策略”,希望給業內讀者帶來啟示。
    發表于 04-16 08:52 ?712次閱讀

    數字芯片驗證流程

    芯片驗證就是采用相應的驗證語言,驗證工具,驗證方法,在芯片生產之前
    的頭像 發表于 07-25 11:48 ?6219次閱讀

    AN4230 STM32 MCU使用NIST隨機數生成驗證統計測試套件

    AN4230 STM32 MCU使用NIST隨機數生成驗證統計測試套件
    發表于 11-21 17:07 ?0次下載
    AN4230 STM32 MCU使用NIST<b class='flag-5'>隨機</b>數生成<b class='flag-5'>驗證</b>統計測試套件

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

    當介紹uvm驗證時大家肯定都看過上面類似的圖片,以展示受約束的隨機驗證相比直接用例測試如何具有先進性。
    的頭像 發表于 04-10 11:13 ?1017次閱讀

    淺析芯片驗證中的scoreboard

    芯片驗證中,我們隨機發送數據激勵,同時使用scoreboard進行數據完整性檢查。
    的頭像 發表于 05-04 17:32 ?1083次閱讀
    淺析<b class='flag-5'>芯片</b><b class='flag-5'>驗證</b>中的scoreboard
    主站蜘蛛池模板: 在线观看亚洲免费视频| 秋霞电影网午夜鲁丝片无码| 97在线视频网站| 午夜dj影院视频观看| 欧美精品成人久久网站| 久草在线福利视频在线播放| 纯肉小黄文高H| 最美白嫩的极品美女ASSPICS| 性欧美videos俄罗斯| 欧美一区二区三区男同| 久久最新地址获取| 花蝴蝶免费版高清版| 国产成人精品综合在线观看| Chineseman瘦老头77| 在镜头里被CAO翻了H| 亚洲破处女| 亚洲AV国产福利精品在现观看 | 久久re这里视频只精品首页| 国产成人拍精品视频网 | nxgx69日本护士| 91精品乱码一区二区三区| 伊人久久网站| 亚洲精品在线观看视频| 乌克兰xxxxx| 手机在线免费| 日日日夜夜在线视频| 欧美成 人 网 站 免费| 老师好爽你下面水好多视频| 久久99这里只有精品| 好男人在线观看视频观看高清视频免费 | 熟女人妻久久精品AV天堂| 日本老妇一级特黄aa大片| 嗯 用力啊 嗯 c我 啊哈老师| 麻花传媒MD0044视频| 老师你狠狂| 麻豆AV无码精品一区二区| 久久九九少妇免费看A片| 久久re这里精品在线视频7| 久久www成人看片| 久久精品国产亚洲AV影院| 久久久无码精品亚洲欧美|