日韩成人激情_欧美黑人xxx_国产一区二精品区在线_精品在线一区_97成人资源_久久久久久一区

產(chǎn)品分類

當(dāng)前位置: 首頁 > 新聞熱點(diǎn)

時序邏輯等效性檢查方法使設(shè)計(jì)風(fēng)險(xiǎn)降至最低

發(fā)布日期:2022-07-14 點(diǎn)擊率:61

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

系統(tǒng)級流程

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

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

設(shè)計(jì)驗(yàn)證

視頻處理器算法塊的RTL實(shí)現(xiàn)用了4,559行RTL碼,延時是7個時鐘周期。C/C++系統(tǒng)模型的延時是1個時鐘周期,它是由SystemC“封裝器”引入的。設(shè)計(jì)團(tuán)隊(duì)隨后規(guī)定一組新輸入數(shù)據(jù)送至每個設(shè)計(jì)的頻率。因?yàn)镽TL是管線結(jié)構(gòu),因此新數(shù)據(jù)是逐個時鐘周期輸入的。這樣,C/C++和RTL的吞吐量都是1。

圖2:由于RTL是管線結(jié)構(gòu),新數(shù)據(jù)是逐個時鐘周期輸入的。因此C/C++與RTL具體有相同的吞吐量。
圖2:由于RTL是管線結(jié)構(gòu),新數(shù)據(jù)是逐個時鐘周期輸入的。因此C/C++與RTL具體有相同的吞吐量。

測試基準(zhǔn)的再利用

驗(yàn)證結(jié)果

作者:Jerome Bortolami

高級現(xiàn)場應(yīng)用工程師

Calypto Design Systems公司


下一篇: 風(fēng)河與Intel聯(lián)手推出

上一篇: 飛思卡爾數(shù)汽車電子龍

主站蜘蛛池模板: 亚洲视频中文字幕 | 日韩一区二区在线视频 | 亚洲成人精选 | 羞羞色视频 | 国产一区999 | 国产精品99久久久久久动医院 | 亚洲欧美在线视频 | 夫妻午夜影院 | 久久精品网 | 麻豆精品国产91久久久久久 | 日韩欧美一区二区在线播放 | 一级片免费视频 | 久久亚洲视频 | 91视频一区二区 | 2022精品国偷自产免费观看 | 在线免费看91 | 国产999在线观看 | 日日噜噜夜夜爽爽狠狠 | 99免费视频| 亚洲婷婷一区 | 激情a| 欧美日韩不卡 | 日韩中文欧美 | 国产精品视频在线播放 | 久草99 | 精品国产精品三级精品av网址 | 国产一区二区在线视频 | 日韩av在线不卡 | 亚洲一区二区三区在线免费 | 嫩草视频在线免费观看 | 成人国产在线视频 | 久久久一区二区三区四区 | 在线观看视频一区 | 精品网站999 | 久久神马 | 麻豆视频国产在线观看 | 精品国产欧美一区二区三区成人 | 精品久久久久久18免费网站 | 日韩精品人成在线播放 | 国产一级毛片视频 | 国产精品国产三级国产aⅴ浪潮 |