欧美成人黄色网_欧美精品久久_国产在线一区二区三区_免费视频久久久_亚洲二区视频_欧美大片免费高清观看

產品分類

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

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

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

證在數字硬件設計中仍是瓶頸。行業調研顯示,功能驗證占整個設計工作的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无码a片 | 久热国产视频 | 宅男宅女精品国产av天堂 | 国产一区二区三区在线免费 | 国内自拍偷拍 | 东方aⅴ免费观看久久av | 免费国产黄网站在线看 | 国产成人无码一区二区在线观看 | 亚洲精品一区二区三区四区手机版 | 九九久久精品国产 | 国产午夜视频在线观看网站 | 国产成人精品一区二区秒拍 | 一本色道久久综合亚洲精品不卡 | 国产欧美日韩精品一区二区三区 | 久久久不卡国产精品一区二区 | 三级视频网 | 亚洲视频一区网站 | 国产热re99久久6国产精品 | 无码少妇一区二区 | 日本成年人视频网站 | 无遮挡无遮挡91桃色在线观看 | 亚州中文字幕 | 日日射夜夜 | 欧美日韩精品一区二区免费看 | 久久精品亚洲一级毛片 | 国产亚洲精品色一区 | 亚洲丰满熟女一区二区v | 亚洲最新在线 | 无码中文字幕乱在线观看 | 欧美综合国产 | 欧美成人午夜精品一区二区 | 在线精品无码字幕无码av | av无码av天天av天天爽 | 可以免费观看的一级毛片 | 国内精品久久久久久无码不卡 |