Power PC的前端驗證設計與實現(xiàn).pdf

1、IBM PPC405是一款32位的精簡指令集處理器核，它所應用的Power PC架構廣泛應用于嵌入式系統(tǒng)中。基于XX協(xié)議的SOC芯片就是利用Power PC實現(xiàn)了控制整個電路的功能。該芯片運用于航天系統(tǒng)中，具有光纖信號的收發(fā)功能，是國內首款基于XX協(xié)議的芯片，具有巨大的軍事意義和一定的經濟效益。
　　為了保證Power PC源代碼的正確性，對其進行驗證就顯得尤為重要。在當今百萬門超大規(guī)模集成電路、可重用IP和片上系統(tǒng)（SOC）的時

2、代，驗證幾乎占了整個設計工作的70％，驗證是RTL設計工作的兩倍。芯片設計中，至少有60%以上需要兩次投片，因此驗證是提高流片成功率非常重要的步驟。
　　筆者參與了除Power PC物理驗證以外的所有前端驗證流程，包括功能仿真驗證、可測性設計、靜態(tài)時序分析、形式驗證。對保證該SOC芯片的Power PC部分的正確性起到了關鍵作用。
　　本論文的主要研究內容和本人所做的工作主要有：
　　1、對Power PC進行功能驗證

3、。包括搭建完整的測試平臺，利用SystemVerilog進行BFM的編寫即為Power PC模擬驗證環(huán)境；Power PC測試激勵的生成；并建立Scoreboard來進行結果比對檢查輸出結果的正確性。
　　2、采用基于掃描鏈的可測性設計技術，并將ATPG技術應用其中，以便能對流片后的芯片電路進行高效測試。
　　3、完成對Power PC的時序驗證。通過對綜合后的門級網表進行靜態(tài)時序分析，檢查其關鍵路徑的時序是否滿足要求。