基于處理器藍牙PMU的功能驗證研究.pdf

1、隨著半導(dǎo)體制造工藝的改進，使得單個片子上可以集成的管子數(shù)目得到極大增加，設(shè)計芯片的功能變得越來越復(fù)雜，但保證設(shè)計功能正確的驗證能力已經(jīng)不能滿足設(shè)計的要求。功能驗證已經(jīng)成為制約設(shè)計發(fā)展速度乃至整個集成電路產(chǎn)業(yè)發(fā)展的瓶頸，而解決這個瓶頸的辦法就是在功能驗證中引入新的驗證方法學(xué)和基于新方法學(xué)上的驗證技術(shù)。大量實踐證明，基于事務(wù)的驗證重用方法學(xué)是提高功能驗證效率的最有效的方法之一。本文在該方法學(xué)的基礎(chǔ)上以藍牙 PMU(power managem

2、ent unit)低功耗優(yōu)化設(shè)計作為研究對象，研究 SOC設(shè)計中藍牙的低功耗設(shè)計與功能驗證技術(shù)。
　　本文首先介紹了功能驗證的研究背景，論述了SOC設(shè)計中功能驗證的目的和意義，在 SOC設(shè)計功能復(fù)雜度不斷提高的情況下保證設(shè)計功能與實際功能的一致性，使得 SOC的功能驗證面臨著完備性、可重用性、驗證效率等各種挑戰(zhàn)。為了解決挑戰(zhàn)中的各種問題，引入討論了SOC功能驗證的三大方法與動態(tài)驗證技術(shù)以及功能驗證流程中驗證計劃的制定、測試平臺的搭

3、建以及覆蓋率收斂的各個環(huán)節(jié)。然后通過對藍牙 PMU的低功耗設(shè)計，研究 PMU藍牙低功耗設(shè)計的各種方式，通過對藍牙 PMU工作模式優(yōu)化和各模塊活動狀態(tài)嚴格控制，在不影響功能的前提下盡可能的關(guān)掉不用的邏輯單元，從而使藍牙的功耗得到了有效降低。
　　在 PMU的功耗優(yōu)化設(shè)計完成之后，利用功能驗證來保證 PMU低功耗優(yōu)化設(shè)計的設(shè)計功能與實際功能的一致性，重點討論了藍牙 PMU的驗證過程。在功能驗證過程中首先根據(jù) PMU單元的設(shè)計特點制定驗

4、證策略，然后驗證測試平臺以確保測試平臺的各個模塊都能正常工作，為后續(xù) PMU的測試仿真提供一個穩(wěn)定可靠的基礎(chǔ)。對于 PMU的功能驗證采用從簡到難的順序進行，首先進行單元級驗證，根據(jù) PMU設(shè)計的驗證目標編寫各個功能點的測試用例并對測試用例進行仿真調(diào)試，分析了在仿真調(diào)試中遇到的各種問題。在完成所有功能點的驗證之后，為了確保驗證的完備性，我們引入了代碼覆蓋率，通過代碼覆蓋率檢查分析來了解設(shè)計代碼的驗證情況。經(jīng)過全面驗證，PMU代碼覆蓋率達到