網絡數據流處理與控制模塊的設計與驗證.pdf

1、隨著集成電路(IC:Integrated Circuit)行業(yè)的發(fā)展,芯片設計規(guī)模不斷增大,功能也越來越復雜,使得驗證的難度和重要性日益增大,如今驗證已成為芯片開發(fā)周期的瓶頸。為縮短芯片開發(fā)周期,如何提高芯片的驗證質量與效率已經成為行業(yè)關注的重點。本文對當前流行的驗證技術進行了分析并指出傳統驗證方法學的缺點。因此非常有必要學習和掌握一種高級驗證方法學的技巧,提高芯片驗證的效率與質量,保證芯片設計的正確性。
　　本文研究的內容是設計

2、一款數據幀處理與控制芯片內部的CPU接口模塊,并對整個芯片進行功能驗證。在RTL(Register Transfer Level:寄存器傳輸級)設計環(huán)節(jié),根據芯片的設計規(guī)范和功能要求,首先編寫了模塊的詳細設計方案,確定模塊的接口信號以及內部寄存器;然后按照詳細設計方案進行 RTL編碼。以芯片設計規(guī)范為標準,提取 Feature(驗證特性)并分解測試點和創(chuàng)建功能覆蓋率模型,用來指導下一步驗證工作的開展。
　　通過對當今業(yè)界流行的VM

3、M(Verification Methodology Manual)驗證方法學的學習和理解,利用SystemVerilog硬件驗證語言(HVL:Hardware Verification Language)在經典的VMM驗證架構基礎上進行改進,搭建了被測芯片的驗證環(huán)境,并開發(fā)測試用例,使用Synopsys公司的VCS仿真器進行功能仿真驗證。仿真過程中同時使用了覆蓋率驅動的驗證、可約束隨機測試和定向測試的驗證技術,以代碼覆蓋率、功能覆蓋率