覆蓋率驅動的交換芯片驗證方法研究.pdf

1、當代集成電路芯片設計中，邏輯設計的規(guī)模和繁雜程度呈現(xiàn)快速增長的趨勢，設計與驗證實現(xiàn)的困難度隨之大幅提升，為了確保芯片邏輯設計功能的正確性，需投入比以往更多的人力物力資源。經(jīng)長時間的發(fā)展，驗證技術在多方面技術實現(xiàn)上取得了長足的進步，但仍存在的問題是：驗證工具和驗證方法的更新程度無法滿足設計規(guī)模的增大程度的問題，驗證技術遠落后于設計發(fā)展，驗證耗時過長，調試更加困難，因此驗證成為制約大規(guī)模集成電路發(fā)展的瓶頸。與此同時，還要解決如何確保仿真的完

2、備性和如何縮短仿真周期以提升驗證效率這兩大難題。覆蓋率驅動的驗證方法學是一種新型的驗證方法學，主要是通過覆蓋率主導驗證過程的實現(xiàn)，其將代碼覆蓋率、功能覆蓋率有機的結合，很大程度上減短驗證耗時，以保證待測邏輯驗證的完備性。同時本文采用帶約束的隨機激勵的生成技術，最大限度的遍歷了測試可能的輸入情況，為測試的完備性提供了強有力的保障。截止目前覆蓋率驅動的驗證技術在驗證界得到了大范圍的應用，是新一代驗證方法學的發(fā)展規(guī)律，推動了驗證方法向前發(fā)展。

3、
　　本文對覆蓋率驅動的驗證技術進行了深入的分析，對衡量覆蓋率驅動技術先進性的各個因素進行了深入討論。并從傳統(tǒng)定向測試角度切入，對覆蓋率驅動的隨機驗證得以被實踐應用做了理論分析。同時采用Accellera公司推出的行業(yè)前沿的UVM方法學，為驗證提供了一套標準的System Verilog類庫，類庫的應用實現(xiàn)了基于覆蓋率驅動的平臺結構的開發(fā)。從覆蓋率驅動的平臺結構實現(xiàn)、覆蓋率建模分析、激勵生成方案和結果檢查機制四個方面，研究了覆蓋率

4、驅動的驗證方法同傳統(tǒng)驗證方法的區(qū)別，提出了分解功能點的方法和通過分析覆蓋率屬性來搭建一套完整的功能覆蓋率模型。此外，本文采用事務級的建模方法，將平臺環(huán)境的抽象層次拔高，使數(shù)據(jù)從管腳級抽象到事務級，通過抽象將底層的細節(jié)隱藏起來，以實現(xiàn)高度自動化驗證。
　　本文以光纖通道交換芯片的通信端口模塊的驗證為背景，分析了光纖通道網(wǎng)絡和以此作為傳輸媒介的交換機的基本知識，同時對通信端口模塊邏輯設計與傳輸規(guī)范進行了深入研究論，述了通信端口模塊對驗

5、證過程提出的挑戰(zhàn)，制定了通信端口模塊的驗證策略。同時應用UVM驗證方法對通信端口實施了實際驗證。結果表明：覆蓋率驅動的驗證技術可實現(xiàn)驗證耗時減少至原有耗時的50％～60％以上，驗證速率大幅提高；其中覆蓋率指標中的代碼覆蓋率顯示均達到90％以上，表明除少數(shù)冗余代碼的存在，設計代碼方面已經(jīng)達到精簡化，節(jié)省后仿時間與資源，功能覆蓋率達到100％，表明所有待驗證的功能點均已實現(xiàn)100％的全覆蓋，保證了驗證的完備性。通過代碼覆蓋率與功能覆蓋率相結