基于VMM的智能卡系統(tǒng)級驗證.pdf

1、隨著SoC（System on Chip）技術(shù)的快速發(fā)展以及IP（Intellectual Property）核的大量使用，芯片的集成度與復雜度越來越高，設(shè)計中出現(xiàn)錯誤的風險也越來越高。驗證技術(shù)為設(shè)計者提供了一個及時有效的發(fā)現(xiàn) SoC芯片功能錯誤的途徑。研究數(shù)據(jù)表明，驗證工作占據(jù)了整個芯片設(shè)計流程中超過一半的時間和人力，驗證已經(jīng)成為制約縮短芯片設(shè)計周期的瓶頸，驗證的重要性不言而喻。
　　本文主要研究的是SoC的數(shù)字功能驗證。首先調(diào)

2、研了當前SoC的發(fā)展，證明了驗證在 SoC設(shè)計中的重要性，了解到目前驗證工作面臨的困難。然后通過對不同驗證技術(shù)、驗證方法、驗證語言的分析總結(jié)，找到提高驗證效率的方法。驗證語言System Verilog具有OOP(object-oriented programming，面向?qū)ο缶幊蹋?、約束隨機化、功能覆蓋率等與驗證直接相關(guān)的特性，利用System Verilog可以建立抽象的結(jié)構(gòu)級模型，為系統(tǒng)級驗證提供強大的支持。VMM（Verific

3、ation Methodology Manual，驗證方法學）提供了一個標準庫，使得驗證平臺的搭建變得更為簡單。此外，腳本語言強大的文本處理能力，使驗證過程更為自動化，大大減少設(shè)計者的工作量。基于智能卡芯片來實現(xiàn)芯片的系統(tǒng)級功能驗證。首先提出了一種從模塊級到系統(tǒng)級層次化的驗證流程。然后研究了智能卡所使用的ISO/IEC14443協(xié)議和ISO/IEC7816協(xié)議，深入研究了RF模塊和7816模塊的工作原理?；赩MM驗證方法學，對RF模塊

4、和7816模塊搭建了可復用、可配置的分層驗證平臺，實現(xiàn)了覆蓋率驅(qū)動的模塊級驗證。深入理解了整個智能卡芯片的架構(gòu)，利用系統(tǒng)級驗證關(guān)注現(xiàn)實場景的這一特點，復用模塊級的驗證組件，搭建基于C軟件測試用例的系統(tǒng)級驗證平臺，實現(xiàn)系統(tǒng)級驗證的前仿真。為了使驗證過程更加的自動化，研究過程中編寫了大量的腳本，簡化了驗證工作。綜上所述，針對SoC系統(tǒng)級功能驗證提出了一個高效可行的方法。為了實現(xiàn)系統(tǒng)級驗證，首先需要搭建可復用、可配置的完整的模塊級驗證平臺；然