亚洲成年人黄色一级片,日本香港三级亚洲三级,黄色成人小视频,国产青草视频,国产一区二区久久精品,91在线免费公开视频,成年轻人网站色直接看

一種基于功能點覆蓋動態(tài)調整隨機約束的驗證方法與流程技術資料下載

技術編號:11286148

提示:您尚未登錄,請點 登 陸 后下載,如果您還沒有賬戶請點 注 冊 ,登陸完成后,請刷新本頁查看技術詳細信息。

本發(fā)明涉及芯片設計及芯片驗證技術領域,具體地說是一種基于功能點覆蓋動態(tài)調整隨機約束的驗證方法。背景技術隨著工藝技術以及應用領域的不斷發(fā)展,芯片的復雜度不斷提高,相對應的,對于仿真驗證工作的要求也在不斷提高。不但需要進行仿真驗證的功能點越來越繁復,而且驗證周期的要求也越來越嚴格。現(xiàn)有的芯片設計流程中,分為前端設計(邏輯設計)和后端設計(物理設計)兩個階段。前端設計主要是以通過硬件描述語言(如verilog)來實現(xiàn)芯片的邏輯功能,而代碼描述的正確性主要就是通過對這些代碼(或是由這些代碼生成的網(wǎng)表)的...
注意:該技術已申請專利,請尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專利權人授權前,僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權,增加技術思路,做技術知識儲備,不適合論文引用。
請注意,此類技術沒有源代碼,用于學習研究技術思路。

詳細技術文檔下載地址↓↓

提示:您尚未登錄,請點 登 陸 后下載,如果您還沒有賬戶請點 注 冊 ,登陸完成后,請刷新本頁查看技術詳細信息。
該分類下的技術專家--如需求助專家,請聯(lián)系客服
  • 李老師:1.計算力學 2.無損檢測
  • 畢老師:機構動力學與控制
  • 袁老師:1.計算機視覺 2.無線網(wǎng)絡及物聯(lián)網(wǎng)
  • 王老師:1.計算機網(wǎng)絡安全 2.計算機仿真技術
  • 王老師:1.網(wǎng)絡安全;物聯(lián)網(wǎng)安全 、大數(shù)據(jù)安全 2.安全態(tài)勢感知、輿情分析和控制 3.區(qū)塊鏈及應用
  • 孫老師:1.機機器人技術 2.機器視覺 3.網(wǎng)絡控制系統(tǒng)
  • 葛老師:1.機器人技術 2.計算機輔助技術
  • 張老師:1.內燃機燃燒及能效管理技術 2.計算機數(shù)據(jù)采集與智能算法 3.助航設備開發(fā)