圖像芯片設(shè)計驗證研究.pdf

1、隨著芯片設(shè)計規(guī)模的不斷增大，應用也越來也廣泛，確保設(shè)計的正確性是芯片設(shè)計者必須攻關(guān)的課題。本文對芯片設(shè)計特別是ASIC的驗證技術(shù)和質(zhì)量管理進行了研究。研究如何通過驗證技術(shù)的應用和驗證管理的計劃性最終實現(xiàn)高效率的驗證，提高芯片設(shè)計的質(zhì)量。
　　根據(jù)不同的標準有不同的分類,并且各種驗證都有各自的優(yōu)缺點。本文介紹幾種驗證方案。本文第三章對Testbench的組織結(jié)構(gòu)和設(shè)計方案進行了簡單的介紹。TB的重點還是給RTL施加一定的激勵。在li

2、nux系統(tǒng)環(huán)境下，shell腳本對構(gòu)成平臺的各個模塊進行整合系統(tǒng)化，并對仿真過程進行有效的控制，將仿真過程以日志的形式記錄下來，以便于迅速的問題定位與過程再現(xiàn)。
　　本文不僅對驗證理論與實踐做出了研究同時還對驗證的管理做了一定程度的探索，提出了以驗證的獨立化和驗證驗證質(zhì)量管理為觀點開展驗證工作。本文中，提高驗證流程的質(zhì)量是提高整個芯片驗證質(zhì)量的重點。
　　本文的實踐經(jīng)驗來至于JPEG200靜止圖像壓縮的驗證，重點描述了JPE