面向SoC的事務級驗證研究.pdf

1、近幾年來隨著專用集成電路ASIC(Application Specific Integrated Circuit)的迅速發(fā)展和系統(tǒng)芯片SoC(System on a Chip)復雜度的不斷提高，芯片驗證，尤其是功能驗證日益成為電子產(chǎn)品開發(fā)和設計的瓶頸。驗證做為芯片設計領域中最困難和最具挑戰(zhàn)性的課題之一，它貫穿了芯片設計的整個流程，是芯片設計過程中發(fā)現(xiàn)概念和功能上錯誤的唯一手段。在SoC設計中，IP(Intelligent Propert

2、y)重用設計方法學和大量新設計技術的采用，對傳統(tǒng)功能驗證方法提出了新的挑戰(zhàn)。如何快速的驗證這些IP模塊和整個系統(tǒng)已成為系統(tǒng)芯片驗證的難點和熱點。 大量實踐證明，基于事務的驗證重用方法學是提高功能驗證效率最有效的方法之一。本論文描述了對SoC進行事務驗證的一般流程和設計方法；在驗證方法學和重用方法學基礎上，提出了采用SystemC和SCV驗證庫來創(chuàng)建模塊化事務級驗證平臺的設計方法，方便了驗證平臺的重用，提高了驗證的效率；分析了兩

3、種總線功能模型的實現(xiàn)方式；引入隨機測試的理論，根據(jù)SCV驗證庫的隨機機制給出了三種隨機測試向量的生成方法；在討論監(jiān)視器可重用設計規(guī)則的基礎上，提出了一種監(jiān)視器的設計方法，采取對物理信號的監(jiān)測和數(shù)據(jù)的接收分離開來，加快了驗證的調試過程。 最后討論了驗證平臺的組織結構，通過對4×4Packet Switch模型進行一系列的驗證實驗，完成了對驗證對象的功能驗證，證實了模塊化事務級驗證方法是可行的。結果表明，使用此模塊化的驗證平臺有效地