<rt id="m4md3"></rt>
  • <bdo id="m4md3"><meter id="m4md3"></meter></bdo>
  • <label id="m4md3"></label>
      <center id="m4md3"><optgroup id="m4md3"></optgroup></center>
      產品分類

      當前位置: 首頁 > 新聞熱點

      時序邏輯等效性檢查方法使設計風險降至最低

      發布日期:2022-07-14 點擊率:64

      證在數字硬件設計中仍是瓶頸。行業調研顯示,功能驗證占整個設計工作的70%。但即使把重點放在驗證上面,仍有超過60%的設計出帶需要返工。其主要原因是在功能驗證過程中暴露出來的邏輯或功能瑕疵和缺陷等。顯然,需要進一步改進驗證技術。

      系統級流程

      視頻處理算法模塊。一旦系統模型完成了調整和驗證,RTL設計師就可以編寫Verilog代碼。高層綜合工具可以從系統代碼生成RTL。但工程師更常見的做法是用RTL代碼手工重新編寫設計。它是設計的解釋而非轉換。即便已用多種驗證測試平臺對RTL實現進行了驗證,采用基于仿真的方法也無法測試全部可能的狀態。

      圖1:C/C++系統模型中采用了SystemC封裝器:不用改變C/C++模型就能引入復位和時鐘信號。
      圖1:C/C++系統模型中采用了SystemC封裝器:不用改變C/C++模型就能引入復位和時鐘信號。

      設計驗證

      視頻處理器算法塊的RTL實現用了4,559行RTL碼,延時是7個時鐘周期。C/C++系統模型的延時是1個時鐘周期,它是由SystemC“封裝器”引入的。設計團隊隨后規定一組新輸入數據送至每個設計的頻率。因為RTL是管線結構,因此新數據是逐個時鐘周期輸入的。這樣,C/C++和RTL的吞吐量都是1。

      圖2:由于RTL是管線結構,新數據是逐個時鐘周期輸入的。因此C/C++與RTL具體有相同的吞吐量。
      圖2:由于RTL是管線結構,新數據是逐個時鐘周期輸入的。因此C/C++與RTL具體有相同的吞吐量。

      測試基準的再利用

      驗證結果

      作者:Jerome Bortolami

      高級現場應用工程師

      Calypto Design Systems公司


      下一篇: 風河與Intel聯手推出

      上一篇: 飛思卡爾數汽車電子龍

      主站蜘蛛池模板: AV狠狠色丁香婷婷综合久久 | 亚洲国产日韩综合久久精品| 97久久婷婷五月综合色d啪蜜芽| 国产成人综合美国十次| 五月天综合色激情| 色婷婷色综合激情国产日韩| 狠狠色丁香婷婷综合尤物| 亚洲色图综合网站| 区三区激情福利综合中文字幕在线一区| 丁香色欲久久久久久综合网 | 亚洲熟女综合一区二区三区| 久久综合久久伊人| 狠狠夜色午夜久久综合热91| 亚洲婷婷综合色高清在线| 区三区激情福利综合中文字幕在线一区亚洲视频1 | 一本大道道无香蕉综合在线| heyzo专区无码综合| 色综合久久综精品| 久久久久久久综合日本亚洲| 一本久道久久综合狠狠躁AV | 色偷偷亚洲第一综合网| 久久婷婷五月综合色奶水99啪| 色噜噜狠狠狠狠色综合久一| 国产精品综合在线| 国产性天天综合网| 一本色道久久综合一区| 亚洲综合色区在线观看| 久久乐国产精品亚洲综合| 精品久久人人做人人爽综合| 五月综合激情婷婷六月色窝| 色综合天天娱乐综合网| 国产色产综合色产在线视频| 亚洲综合小说另类图片动图 | 色综合91久久精品中文字幕| 国产精品亚洲综合久久| 久久狠狠爱亚洲综合影院| 亚洲综合伊人制服丝袜美腿| 色欲香天天综合网站| 国产精品成人免费综合| 伊人久久中文大香线蕉综合| 综合久久国产九一剧情麻豆|