引入c-api的軟硬件協(xié)同soc驗證技術(shù)

《引入c-api的軟硬件協(xié)同soc驗證技術(shù)》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、３ｒｉ野巧結(jié)謂似毒ｇ碩±學(xué)位論文？［＼圏＾Ｐ？引入Ｃ－ＡＰＩ的觀件憤同＾ＳｏＣ驗證技術(shù)１王云飛作者姓名學(xué)校導(dǎo)師姓名、職賴馬佩軍副觀Ｓ企業(yè)導(dǎo)師姓名、職熱劉新化＿ｊ３申請學(xué)位類別工程碩圭西安電子科技大學(xué)學(xué)位論文獨創(chuàng)性（或創(chuàng)新性）聲明秉承學(xué)校嚴(yán)謹(jǐn)?shù)膶W(xué)風(fēng)和優(yōu)良的科學(xué)道德ｒ本人聲明所呈交的論文是我個人在導(dǎo)師指導(dǎo)下進(jìn)行的研巧工作及取得的研究成果。盡我所知，除了文中特別加扭標(biāo)注和致謝中所羅列的內(nèi)容［＾］１外，論文中不包含其他人己經(jīng)發(fā)表或撰寫過的研究成果；也不包含位或證書而使

2、用過的材料一為獲得西安電子科技大學(xué)或其它教育機(jī)構(gòu)的學(xué)。與我同工作的同事對本研究所做的任何貢獻(xiàn)均己在論文中作了明確的說明并表示了謝意。一切法律責(zé)任學(xué)位論文若有不實么處，本人承擔(dān)。＾巧＾日期＞３本人簽名：王：呵肖巧８西安電子科技大學(xué)關(guān)于論文使用授權(quán)的說明本人完全了解西安電子科技大學(xué)有關(guān)保留和使用學(xué)位論文的規(guī)定，目Ｐ：研巧生在校攻讀學(xué)位期間論文工作的知識產(chǎn)權(quán)屬于西安電子科技大學(xué)。學(xué)校有權(quán)保留送交論文、公布論文的全部或部分內(nèi)容，允許采用影的復(fù)印件借閱論文；學(xué)?？桑祝试S查腐印。同時本人保證，結(jié)合學(xué)位論文研巧成果完成的

3、論、縮印或其它復(fù)制手段保存論文文、本發(fā)人明專簽利等成果，署名單位為西安電子科技大學(xué)。名；王＾導(dǎo)師簽名：日期：ｊ／島日期：ｇ月？句午吁學(xué)校代碼10701學(xué)號1311122918分類號TN4密級公開西安電子科技大學(xué)碩士學(xué)位論文引入C-API的軟硬件協(xié)同SoC驗證技術(shù)作者姓名：王云飛領(lǐng)域：軟件工程學(xué)位類別：工程碩士學(xué)校導(dǎo)師姓名、職稱：馬佩軍副教授企業(yè)導(dǎo)師姓名、職稱：劉凱高工學(xué)院：微電子學(xué)院提交日期：2015年12月SoftwareandHardwareCo-verificationTechnologyofSoCBasedonC

4、-APIisAdoptedAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByWangYunfeiSupervisor:MaPeijunAssociateProfessorLiuKaiSeniorEngineerDecember2015摘要摘要隨著信息化的不斷發(fā)展，市場對SoC芯片的要求越來越高，這提高了SoC系統(tǒng)芯片設(shè)計的規(guī)模和復(fù)雜度，導(dǎo)致了SoC的驗證工作面臨著嚴(yán)重的挑

5、戰(zhàn)。本文研究了基于仿真的驗證技術(shù)、靜態(tài)分析驗證技術(shù)、形式驗證技術(shù)等SoC驗證方法，分析了它們各自的優(yōu)缺點。結(jié)合飛思卡爾集成電路設(shè)計有限公司研發(fā)的某型號SoC系統(tǒng)芯片項目，引入了C-API的軟硬件協(xié)同SoC的驗證技術(shù)。其中主要針對C-API驗證技術(shù)能夠快速驗證和方便使用這兩方面的優(yōu)勢進(jìn)行了研究。(1)引入C-API的驗證技術(shù)能夠加快驗證速度的優(yōu)勢主要表現(xiàn)在：在同類產(chǎn)品中，即使是處理器內(nèi)核的架構(gòu)不同，工程師也可以使用C-API將功能相同或相似模塊的設(shè)計驗證代碼進(jìn)行相互移植，這提高了代碼的復(fù)用性，節(jié)省了工程師對不同核進(jìn)行重新編寫代碼的時間，這極大地提高

6、了產(chǎn)品開發(fā)的效率；(2)引入C-API的驗證技術(shù)能夠使驗證變得更方便的優(yōu)勢主要體現(xiàn)在：工程師通過使用封裝在C-API的軟硬件驗證技術(shù)中的宏和函數(shù)，如DEBUG、TRACE、INFO和ERROR等函數(shù)可以很方便地調(diào)試驗證代碼、追蹤驗證流程、查看驗證信息和查找驗證的錯誤信息等，還可以通過使用C-API技術(shù)中的Trigger機(jī)制和Mailbox機(jī)制控制整個SoC系統(tǒng)芯片驗證流程。因此，引入C-API的軟硬件協(xié)同驗證技術(shù)不僅可以節(jié)省工程師對不同的核進(jìn)行重新編寫代碼的時間，提高產(chǎn)品開發(fā)的效率；也可以使C程序與外部的激勵的交互變得很方便的；還可以控制驗證的流

7、程，追蹤驗證流程和查看驗證信息，并通過其打印的log對驗證的信息進(jìn)行方便快速的定位。2本文以飛思卡爾開發(fā)某型號SoC芯片的IC模塊作為驗證實例，引入C-API的2驗證技術(shù)對IC的寄存器的讀寫功能，門控制鐘的控制功能，作為主從機(jī)對數(shù)據(jù)的收2發(fā)功能，以及在不同的波特率下對數(shù)據(jù)的傳輸功能和IC的重啟動功能進(jìn)行了驗證。2該技術(shù)的使用使IC的驗證變得簡單快速。對于引入C-API驗證技術(shù)的優(yōu)勢，飛思卡爾給出了數(shù)據(jù)，即在開發(fā)人員人數(shù)不變的情況下，該技術(shù)能夠使驗證任務(wù)由傳統(tǒng)事務(wù)驗證方法所需的6個月時間縮短至2個月。本文研究的C-API的軟硬件協(xié)同SoC驗證的方法

8、已獲得飛思卡爾前端設(shè)計部門的認(rèn)可和采用。2關(guān)鍵詞：系統(tǒng)芯片SoC，C-API驗證技術(shù)，IC協(xié)議IABSTRACTABSTRACTWith