基于SPARC V8的事務(wù)級(jí)SoC驗(yàn)證平臺(tái)設(shè)計(jì).pdf

1、片上系統(tǒng)SoC的設(shè)計(jì)規(guī)模隨著集成電路制造能力的不斷提高而迅速增長(zhǎng),嵌入式軟件的實(shí)現(xiàn)難度與工作量也隨之提高。在傳統(tǒng)的SoC設(shè)計(jì)流程中,嵌入式軟件的開(kāi)發(fā)必須在RTLSoC驗(yàn)證平臺(tái)的基礎(chǔ)之上完成。但是由于受到RTL模型仿真機(jī)制的限制,對(duì)于規(guī)模較大的設(shè)計(jì),仿真驗(yàn)證所消耗的時(shí)間很長(zhǎng)。為此,需要采用更高層次的建模方法完成SoC驗(yàn)證平臺(tái)的建模,該SoC驗(yàn)證平臺(tái)能夠在保證功能正確的前提下實(shí)現(xiàn)較高的仿真速率,并在完成RTLSoC驗(yàn)證平臺(tái)的開(kāi)發(fā)之前為SoC

2、系統(tǒng)級(jí)驗(yàn)證和嵌入式軟件的開(kāi)發(fā)提供虛擬驗(yàn)證平臺(tái)。
　　本文針對(duì)SoC架構(gòu)設(shè)計(jì)和嵌入式軟件開(kāi)發(fā)的需求,采用事務(wù)級(jí)建模方法使用SystemC完成了基于SPARCV8的事務(wù)級(jí)SoC驗(yàn)證平臺(tái)的設(shè)計(jì)。首先介紹SystemC中支持事務(wù)級(jí)建模的相關(guān)機(jī)制,并提出了事務(wù)級(jí)SoC驗(yàn)證平臺(tái)的整體設(shè)計(jì)方案,然后針對(duì)各個(gè)基本組件進(jìn)行事務(wù)級(jí)建模。為降低設(shè)計(jì)復(fù)雜度和提高仿真速率,本文基于解釋-執(zhí)行技術(shù)完成SPARCV8處理器指令精確事務(wù)級(jí)模型建模,并利用Syst

3、emC中的分層通道機(jī)制完成AMAB總線、中斷控制器、UART、定時(shí)器等設(shè)備的事務(wù)級(jí)建模。
　　完成基于SPARCV8的事務(wù)級(jí)SoC驗(yàn)證平臺(tái)的建模與集成之后,針對(duì)該驗(yàn)證平臺(tái)搭建測(cè)試平臺(tái),根據(jù)列舉的功能驗(yàn)證點(diǎn)設(shè)計(jì)并編寫(xiě)驗(yàn)證程序。通過(guò)使用交叉編譯器對(duì)驗(yàn)證程序進(jìn)行編譯、鏈接得到測(cè)試激勵(lì),并使用ModelSim進(jìn)行仿真驗(yàn)證,結(jié)果證明了事務(wù)級(jí)SoC驗(yàn)證平臺(tái)功能的正確性。最后使用測(cè)試基準(zhǔn)程序組Mibench分別對(duì)事務(wù)級(jí)SoC驗(yàn)證平臺(tái)和RTLSo