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

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

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

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