SOPC芯片F(xiàn)DP2009設計驗證以及芯片可重構應用研究.pdf

1、近些年來，可配置硬件由于靈活性和費用低等優(yōu)點表現(xiàn)出明顯強于ASIC的發(fā)展勢頭。但可配置硬件固有的弱點如功耗高、速度慢、資源冗余等使其在面對復雜功能設計的要求時還是會感到吃力，因此人們開始考慮通過技術上的融合在ASIC與可重配置硬件之間尋找一條中間道路--可編程片上系統(tǒng)SOPC。SOPC將FPGA與ASIC技術相融合，不僅可以降低開發(fā)SOC芯片的風險，縮短上市時間，而且其可重構的靈活能力提供了將同一芯片用到不同應用中去的機會，尤其適用于不

2、斷變化和發(fā)展標準的產(chǎn)品開發(fā)中，例如通訊和網(wǎng)絡芯片產(chǎn)品等。
　　動態(tài)可重構是指在系統(tǒng)運行過程中可重配置部分能夠被重復配置，在不同的時刻完成不同的功能。和靜態(tài)可重構相比，動態(tài)可重構可以更充分的利用可重配置硬件。動態(tài)可重構技術是國際上研究的熱點，尤其是在可重配置計算方面。本文主要從可重配置SOPC研究領域的三個主要方面(硬件、軟件和應用)出發(fā)，對目前的可重構SOPC研究工作做出總結。本文所做的工作與創(chuàng)新點如下：
　　1.參與SOP

3、C系統(tǒng)的架構設計，協(xié)助確定了整體架構與設計目標。SOPC系統(tǒng)中的EBI控制器設計，完成各個模塊的集成工作。
　　2.SOPC系統(tǒng)設計中的驗證環(huán)境建立以及各個模塊的驗證工作，建立了軟硬件協(xié)同仿真環(huán)境。完成了SOPC系統(tǒng)芯片的后仿真與形式驗證工作。在本文中我們提出了適合于SOPC設計的自主設計的自動化回歸驗證系統(tǒng)，使在同等95％驗證覆蓋率條件下，驗證時間縮短了約30％。
　　3.SOPC軟件系統(tǒng)設計。初始化程序設計，并編寫了UA