基于SystemVerilog的FC-AE接口芯片的功能驗證.pdf

1、隨著微電子技術的高速發(fā)展，電子系統(tǒng)變得越來越復雜，SoC（System-on-Chip）芯片的設計要求設計者必須同時考慮軟、硬件兩部分的開發(fā)以及多種IP核的集成。與此同時，SoC對驗證的要求也越來越高。SystemVerilog是構建于 Verilog-2001之上的一門語言。它大大提高了Verilog的代碼效率，同時SystemVerilog在代碼可讀性和代碼的可重用性方面也相對Verilog有很大的提高。SystemVerilog在

2、這些方面的改進既為該語言使用現(xiàn)有的EDA工具、流程提供了便利，也為設計開發(fā)人員提供了非常高效的描述方法。SystemVerilog的最大優(yōu)點在于開發(fā)受控的測試平臺、產(chǎn)生帶隨機約束的激勵、基于覆蓋率的驗證，以及基于斷言的驗證。
　　本文基于某接口芯片的功能驗證過程，研究了業(yè)界先進的SystemVerilog語言的驗證技術。結合該接口芯片的協(xié)議和功能要求，采用相關的SystemVerilog驗證技術設計搭建了完善的功能驗證平臺，完成了

3、該接口芯片的功能驗證。在針對該接口芯片的功能驗證平臺的設計中，使用了SystemVerilog的先進的驗證方法來設計和優(yōu)化驗證平臺。通過對這些驗證技術的分析與實踐，表明SystemVerilog擁有強大的系統(tǒng)級建模能力和高效驗證的效率。
　　本文首先詳細分析介紹了SystemVerilog的各項先進的驗證技術，包括接口、面向對象的編程、隨機約束、線程間的通信、覆蓋率等方面的知識。這些新的驗證方法技術為當前超大規(guī)模、高復雜度的數(shù)字設

4、計提供了簡單、可重用、高效的驗證手段。
　　由于接口芯片的功能設計是本文的基本驗證對象，而根據(jù)芯片Spec來搭建符合設計規(guī)范的驗證平臺是芯片功能驗證的基本核心。因此，在SystemVerilog語言的介紹之后，本文詳細了接口芯片的內(nèi)部功能模塊設計。這些模塊包括：發(fā)送數(shù)據(jù)通道、接收數(shù)據(jù)通道、端口狀態(tài)機和流量控制模塊四大部分。
　　最后，本文詳細介紹了該接口芯片功能驗證的SystemVerilog驗證平臺的搭建過程，并且詳細介紹