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

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

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

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