在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

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

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

3天內不再提示

cut point可優化FEV的執行效率

lhl545545 ? 來源:芯片驗證工程師 ? 作者:芯片驗證工程師 ? 2022-09-19 11:09 ? 次閱讀

cut point就是在模型中指定一個位置,將這個cutpoint的值設為隨機值,去除這個點前后邏輯的關聯性。 需要確認這個cut point的設定不會影響所需要證明的assert,如果影響了可以根據fail反例定位。 其實,這也類似于一個黑盒,只不過blackbox針對的是一個模塊,將該模塊所有的輸出都設定為隨機值,而cut point只是將特定的點(信號)設置為隨機值。 一句話概括:

cutpoint就是更細粒度的黑盒化。

前面我們提到的FEV等價性驗證中的每一個map點都是一個cut point。所以內部能夠map上的點越多,FEV等價性證明的效率越高。 像黑盒化一樣,cutpoint也是一個安全的復雜度優化手段,可能會導致假fail,但絕不會引入假pass。因為使用cut point后證明的空間比原來更大了,并且降低了被證明邏輯的復雜度。

6c9fe820-373d-11ed-ba43-dac502259ad0.png

在combinational FEV中,所有寄存器的狀態都是一個cut point。在sequential FEV中,默認只會比較輸出的一致性,如果添加內部某些寄存器狀態作為map點,可以優化FEV的執行效率。

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

    關注

    31

    文章

    5424

    瀏覽量

    123502
  • 模型
    +關注

    關注

    1

    文章

    3499

    瀏覽量

    50059

原文標題:FPV復雜度優化之cut point

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

收藏 人收藏

    評論

    相關推薦
    熱點推薦

    程序結構的優化執行速度

    對程序進行優化,通常是指優化程序代碼或程序執行速度。優化代碼和優化速度實際上是一個予盾的統一。一般是優化
    發表于 07-25 11:36 ?1149次閱讀

    UG編程:優化刀路,快速提高加工效率方法#硬聲創作季

    優化效率UGUG編程
    電子學習
    發布于 :2022年11月18日 15:23:12

    新一代CUT75系列PCB基板式開關電源問世

      導讀:日前,TDK公司宣布推出新一代PCB基板式開關電源--CUT75系列產品。CUT75系列新品是伴隨著市場對更輕薄、更高效率,更高性價比的三路輸出開關電源的需求而問世,為客戶系統的小型化
    發表于 09-27 15:24

    請問AD中V-cut怎么畫,V-cut尺寸怎么計算?

    如題:AD中怎么畫V-cut,V-cut尺寸怎么計算
    發表于 03-08 07:35

    常用優化編譯選項對ARM平臺的影響

    buffer+10的數據被修改。而在point2.s中,貌似又針對流水線進行了優化,程序執行順序會有所變化,在對buffer部分位置賦初值的順序是在str r3, [sp, #7]之后,所以
    發表于 06-16 14:38

    SPC574K7x的CUT 2.3和CUT 2.4之間有什么區別?

    CUT 是什么意思?我想是一個 CPU 識別標簽,但我不確定。我使用 SPC5 studio V.6.0 開發一個項目,但我不明白我的項目中必須包含 spc574k_cut
    發表于 01-13 07:44

    什么是“Cut2.1”與“Cut2.0”?

    什么是“Cut2.1”與“Cut2.0”,你怎么知道你得到了什么?
    發表于 02-03 09:46

    如何提高IIS 5服務器執行效率

    如何提高IIS 5服務器執行效率 以下是提高IIS 5.0網站如何提高IIS 5服務器執行效率伺服器的執行
    發表于 02-01 11:52 ?309次閱讀

    Floating-Point設計編碼風格與技巧

    有限的數據動態范圍,需要深入的分析來決定整個設計中間數據位寬變化的pattern,為了達到優化的QoR,并且要引入很多不同類型的Fixed-Point中間變量。
    發表于 11-22 15:20 ?1739次閱讀

    淺談PCB中的V-Cut設計

    V-Cut雖然可以方便我們輕易的將板子分開并去掉板邊,但V-Cut也有設計及使用上的限制。
    的頭像 發表于 11-06 10:31 ?1.4w次閱讀

    如何提高單片機程序執行效率

    首先什么是執行效率。我們平常所說的執行效率就是使用相同的算法在相同輸入條件下完成相同計算所產生的系統開銷,目前來說一般會更多關注執行時間方面
    發表于 02-11 15:42 ?6次下載
    如何提高單片機程序<b class='flag-5'>執行</b><b class='flag-5'>效率</b>

    可以通過降低約束的復雜度來優化Formal的執行效率嗎?

    我們可以通過降低約束的復雜度來優化Formal的執行效率,但是這個主要是通過減少Formal驗證空間來實現的,很容易出現過約,導致bug遺漏。
    的頭像 發表于 02-15 15:14 ?1113次閱讀

    英特爾推出Hala Point全球最大仿神經形態系統,解決AI效率問題

    英特爾實驗室神經形態運算總監Mike Davies指出,“當前AI模型訓練及部署成本增長迅速,行業亟需創新方法。因此,英特爾實驗室研發了Hala Point,融合深度學習效率、類人腦持續學習和優化功能。
    的頭像 發表于 04-23 10:00 ?805次閱讀

    怎么提升單片機代碼執行效率

    ? 提升單片機代碼執行效率需要從多個方面入手,包括代碼優化、硬件資源利用、編譯器設置、中斷處理優化以及其他技巧等。在實際應用中,需要根據具體需求和硬件條件綜合考慮這些因素,以實現
    的頭像 發表于 01-10 11:06 ?507次閱讀

    制造執行系統MES:提升企業生產管理的效率優化生產過程

    在競爭日益激烈的制造業環境中,企業不斷尋求提升生產效率優化生產過程的方法。制造執行系統(MES)作為一種面向車間層的管理信息系統,為這一需求提供了強有力的支持。MES系統位于上層計劃管理系統與底層
    的頭像 發表于 02-14 16:20 ?356次閱讀
    制造<b class='flag-5'>執行</b>系統MES:提升企業生產管理的<b class='flag-5'>效率</b>與<b class='flag-5'>優化</b>生產過程
    主站蜘蛛池模板: 亚洲高清一区二区三区 | 天天干夜夜艹 | 国产视频首页 | 老司机亚洲精品影院在线观看 | 久久夜色精品 | 中文字幕一区二区三区在线播放 | 国产精品嫩草影院人体模特 | 四虎免费永久观看 | 国语一级毛片私人影院 | 国产精品理论片在线观看 | 婷婷爱五月 | 人人人干| 一级特色黄色片 | 一个色在线视频 | 欧美在线观看一区二区三 | 白嫩少妇激情无码 | 在线免费看黄的网站 | 资源视频在线观看 | 欧美午夜激情影院 | 久久99精品久久久久久园产越南 | 五月天婷婷视频在线观看 | 男女爱爱免费视频 | 午夜性爽快 | 91pao强力打造免费高清 | 亚洲三级视频 | 2019天天干天天操 | 曰本又色又爽又黄三级视频 | 久久综合五月婷婷 | 久久精品国产精品亚洲婷婷 | 亚洲高清免费观看 | 国产精品久久久久久久久齐齐 | 久久香蕉国产线看观看精品yw | 男女性高爱麻豆 | 高清视频 一区二区三区四区 | 国产一卡二卡3卡4卡四卡在线视频 | 六月丁香婷婷激情国产 | 99亚洲自拍 | 色综合天天操 | abc119影院成人免费看 | 婷婷激情小说网 | 欧美网站在线播放 |