[發明專利]基于樹回溯算法提高芯片驗證覆蓋率的方法在審
| 申請號： | 201611186591.1 | 申請日： | 2016-12-20 |
| 公開（公告）號： | CN106599498A | 公開（公告）日： | 2017-04-26 |
| 發明（設計）人： | 薛煒澎;唐飛;陳軼昊 | 申請（專利權）人： | 盛科網絡（蘇州）有限公司 |
| 主分類號： | G06F17/50 | 分類號： | G06F17/50 |
| 代理公司： | 南京利豐知識產權代理事務所(特殊普通合伙)32256 | 代理人： | 王鋒 |
| 地址： | 215000 江蘇省無錫市*** | 國省代碼： | 江蘇;32 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 基于 回溯 算法 提高 芯片 驗證 覆蓋率 方法 | ||
【權利要求書】：
1.一種基于樹回溯算法提高芯片驗證覆蓋率的方法，其特征在于：
定義一棵邏輯樹，每個待覆蓋功能點為所述邏輯樹上的一個節點；
選擇一待覆蓋點為起點，通過回溯算法獲取從根節點到所述待覆蓋點的路徑；
根據所述路徑獲取驗證所述待覆蓋點需要的配置信息。
2.根據權利要求1所述的基于樹回溯算法提高芯片驗證覆蓋率的方法，其特征在于：所述邏輯樹根據芯片功能規格書定義。
3.根據權利要求1所述的基于樹回溯算法提高芯片驗證覆蓋率的方法，其特征在于：根據所述配置信息生成相應的驗證激勵。
4.根據權利要求3所述的基于樹回溯算法提高芯片驗證覆蓋率的方法，其特征在于：所述激勵為定向激勵。
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于盛科網絡（蘇州）有限公司，未經盛科網絡（蘇州）有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201611186591.1/1.html，轉載請聲明來源鉆瓜專利網。
