產品分類

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

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

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

      證在數字硬件設計中仍是瓶頸。行業調研顯示,功能驗證占整個設計工作的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无码人妻一区二区三区牛牛| 污污内射在线观看一区二区少妇| 精品国产福利一区二区| 精品国产区一区二区三区在线观看 | 日韩毛片一区视频免费| 久久久无码精品国产一区| 亚洲一区二区观看播放| 高清一区二区三区视频| 亚洲日本va午夜中文字幕一区| 亚洲AV无码国产一区二区三区| 视频一区二区三区在线观看| 肉色超薄丝袜脚交一区二区| 日韩美女视频一区| 久久国产一区二区三区| 日韩精品一区二三区中文| 亚洲色偷偷偷网站色偷一区| 午夜视频久久久久一区 | 久久久久久免费一区二区三区| 日本免费一区二区在线观看| 亚洲中文字幕丝袜制服一区 | 91精品福利一区二区三区野战| 日本免费一区尤物| 精品无码一区二区三区亚洲桃色| 老鸭窝毛片一区二区三区| 69久久精品无码一区二区| 成人精品一区二区三区不卡免费看 | 99久久无码一区人妻a黑| 国产无套精品一区二区| 一区二区三区观看| 欧洲精品一区二区三区| 在线观看国产一区二三区|