本文關(guān)鍵詞：引入C-API的軟硬件協(xié)同SoC驗(yàn)證技術(shù)，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著信息化的不斷發(fā)展,市場對(duì)SoC芯片的要求越來越高,這提高了SoC系統(tǒng)芯片設(shè)計(jì)的規(guī)模和復(fù)雜度,導(dǎo)致了SoC的驗(yàn)證工作面臨著嚴(yán)重的挑戰(zhàn)。本文研究了基于仿真的驗(yàn)證技術(shù)、靜態(tài)分析驗(yàn)證技術(shù)、形式驗(yàn)證技術(shù)等SoC驗(yàn)證方法,分析了它們各自的優(yōu)缺點(diǎn)。結(jié)合飛思卡爾集成電路設(shè)計(jì)有限公司研發(fā)的某型號(hào)SoC系統(tǒng)芯片項(xiàng)目,引入了C-API的軟硬件協(xié)同SoC的驗(yàn)證技術(shù)。其中主要針對(duì)C-API驗(yàn)證技術(shù)能夠快速驗(yàn)證和方便使用這兩方面的優(yōu)勢(shì)進(jìn)行了研究。(1)引入C-API的驗(yàn)證技術(shù)能夠加快驗(yàn)證速度的優(yōu)勢(shì)主要表現(xiàn)在:在同類產(chǎn)品中,即使是處理器內(nèi)核的架構(gòu)不同,工程師也可以使用C-API將功能相同或相似模塊的設(shè)計(jì)驗(yàn)證代碼進(jìn)行相互移植,這提高了代碼的復(fù)用性,節(jié)省了工程師對(duì)不同核進(jìn)行重新編寫代碼的時(shí)間,這極大地提高了產(chǎn)品開發(fā)的效率;(2)引入C-API的驗(yàn)證技術(shù)能夠使驗(yàn)證變得更方便的優(yōu)勢(shì)主要體現(xiàn)在:工程師通過使用封裝在C-API的軟硬件驗(yàn)證技術(shù)中的宏和函數(shù),如DEBUG、TRACE、INFO和ERROR等函數(shù)可以很方便地調(diào)試驗(yàn)證代碼、追蹤驗(yàn)證流程、查看驗(yàn)證信息和查找驗(yàn)證的錯(cuò)誤信息等,還可以通過使用C-API技術(shù)中的Trigger機(jī)制和Mailbox機(jī)制控制整個(gè)SoC系統(tǒng)芯片驗(yàn)證流程。因此,引入C-API的軟硬件協(xié)同驗(yàn)證技術(shù)不僅可以節(jié)省工程師對(duì)不同的核進(jìn)行重新編寫代碼的時(shí)間,提高產(chǎn)品開發(fā)的效率;也可以使C程序與外部的激勵(lì)的交互變得很方便的;還可以控制驗(yàn)證的流程,追蹤驗(yàn)證流程和查看驗(yàn)證信息,并通過其打印的log對(duì)驗(yàn)證的信息進(jìn)行方便快速的定位。本文以飛思卡爾開發(fā)某型號(hào)SoC芯片的I~2C模塊作為驗(yàn)證實(shí)例,引入C-API的驗(yàn)證技術(shù)對(duì)I~2C的寄存器的讀寫功能,門控制鐘的控制功能,作為主從機(jī)對(duì)數(shù)據(jù)的收發(fā)功能,以及在不同的波特率下對(duì)數(shù)據(jù)的傳輸功能和I~2C的重啟動(dòng)功能進(jìn)行了驗(yàn)證。該技術(shù)的使用使I~2C的驗(yàn)證變得簡單快速。對(duì)于引入C-API驗(yàn)證技術(shù)的優(yōu)勢(shì),飛思卡爾給出了數(shù)據(jù),即在開發(fā)人員人數(shù)不變的情況下,該技術(shù)能夠使驗(yàn)證任務(wù)由傳統(tǒng)事務(wù)驗(yàn)證方法所需的6個(gè)月時(shí)間縮短至2個(gè)月。本文研究的C-API的軟硬件協(xié)同SoC驗(yàn)證的方法已獲得飛思卡爾前端設(shè)計(jì)部門的認(rèn)可和采用。
【關(guān)鍵詞】：系統(tǒng)芯片SoC C-API驗(yàn)證技術(shù) I~2C協(xié)議
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TN47;TN407
【目錄】：

• 摘要5-6
• ABSTRACT6-11
• 縮略語對(duì)照表11-14
• 第一章 緒論14-18
• 1.1 課題的背景及其研究意義14-16
• 1.2 國內(nèi)外的發(fā)展16
• 1.3 論文的主要內(nèi)容16-17
• 1.4 章節(jié)安排17-18
• 第二章 SoC的驗(yàn)證方法和驗(yàn)證層次18-24
• 2.1 基于仿真的驗(yàn)證技術(shù)18-20
• 2.2 形式驗(yàn)證方法20-21
• 2.3 靜態(tài)分析驗(yàn)證技術(shù)21-22
• 2.4 系統(tǒng)驗(yàn)證的層次22-23
• 2.5 本章小結(jié)23-24
• 第三章C-API驗(yàn)證技術(shù)介紹及應(yīng)用分析24-54
• 3.124-33
• 3.1.1 C-API簡介24-26
• 3.1.2 C-API的宏和函數(shù)26-30
• 3.1.3 C-API中用于數(shù)據(jù)通信的宏和函數(shù)30-33
• 3.2 AHB總線和APB總線33-38
• 3.2.1 AHB-Lite總線33-37
• 3.2.2 APB總線協(xié)議37-38
• 3.3 C-API在驗(yàn)證SoC中的應(yīng)用分析38-51
• 3.4 本章小結(jié)51-54
• 第四章 交互C-API的I~2C的驗(yàn)證實(shí)例及結(jié)果分析54-76
• 4.1 C-API對(duì)SoC的交互驗(yàn)證54-55
• 4.2 I~2C通信模塊的介紹55-61
• 4.2.1 I~2C總線的基本工作原理56-58
• 4.2.2 I~2C模塊相關(guān)寄存器58-61
• 4.3 設(shè)計(jì)驗(yàn)證方案和搭建驗(yàn)證平臺(tái)61-66
• 4.3.1 驗(yàn)證方案的設(shè)計(jì)61
• 4.3.2 驗(yàn)證平臺(tái)的設(shè)計(jì)61-66
• 4.4 I~2C各功能模塊的驗(yàn)證及結(jié)果分析66-74
• 4.4.1 I~2C寄存器的測試66-67
• 4.4.2 I~2C門控時(shí)鐘測試67-68
• 4.4.3 從機(jī)的發(fā)送和接收測試68-70
• 4.4.4 主機(jī)丟失仲裁的測試70-72
• 4.4.5 在多個(gè)波特率下傳輸數(shù)據(jù)72-73
• 4.4.6 檢測主機(jī)重啟動(dòng)功能73-74
• 4.5 本章小結(jié)74-76
• 第五章 總結(jié)與展望76-78
• 5.1 總結(jié)76
• 5.2 展望76-78
• 參考文獻(xiàn)78-80
• 致謝80-82
• 作者簡介82-83

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 杜寧;吳國增;;基于斷言的硬件功能驗(yàn)證技術(shù)[J];電子測試;2007年10期

2 王寶林;楊明;張永輝;;糾刪碼分片驗(yàn)證技術(shù)研究[J];電腦知識(shí)與技術(shù);2010年06期

3 ;你的身體就是密鑰[J];每周電腦報(bào);1997年45期

4 王大鎮(zhèn);數(shù)控銑削程序圖形驗(yàn)證技術(shù)國內(nèi)外研究現(xiàn)狀[J];西安工程科技學(xué)院學(xué)報(bào);2003年03期

5 呂濤,李華偉,李曉維,樊建平;基于模擬的驗(yàn)證技術(shù)在CPU設(shè)計(jì)中的應(yīng)用[J];同濟(jì)大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年10期

6 王國章;須自明;劉戰(zhàn);于宗光;;SoC芯片驗(yàn)證技術(shù)的研究[J];微計(jì)算機(jī)信息;2007年23期

7 須自明;劉戰(zhàn);王國章;于宗光;;各種驗(yàn)證技術(shù)在SoC設(shè)計(jì)中的應(yīng)用[J];微計(jì)算機(jī)信息;2006年02期

8 慕長林;;斷言驗(yàn)證技術(shù)在VERA中的應(yīng)用與研究[J];科技資訊;2009年01期

9 虞蕾;趙宗濤;;PSL邏輯及驗(yàn)證技術(shù)研究進(jìn)展與展望[J];計(jì)算機(jī)應(yīng)用研究;2010年07期

10 楊德華;Internet網(wǎng)上用戶驗(yàn)證技術(shù)[J];計(jì)算機(jī)應(yīng)用研究;1999年05期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前1條

1 徐煜瑋;吳少俊;夏宇聞;;基于斷言的驗(yàn)證技術(shù)[A];全國第十屆信號(hào)與信息處理、第四屆DSP應(yīng)用技術(shù)聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2006年

中國重要報(bào)紙全文數(shù)據(jù)庫 前1條

1 陳先勇;幾種主流的驗(yàn)證技術(shù)[N];計(jì)算機(jī)世界;2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前9條

1 胡磊;基于預(yù)測的開銷可控運(yùn)行時(shí)驗(yàn)證技術(shù)研究[D];南京航空航天大學(xué);2016年

2 王云飛;引入C-API的軟硬件協(xié)同SoC驗(yàn)證技術(shù)[D];西安電子科技大學(xué);2016年

3 夏凌;號(hào)碼回呼驗(yàn)證技術(shù)在電子商務(wù)可信交易中的應(yīng)用研究[D];復(fù)旦大學(xué);2010年

4 陳哲;基于OVM的集成電路驗(yàn)證技術(shù)研究與應(yīng)用[D];北京郵電大學(xué);2012年

5 梁駿;芯片設(shè)計(jì)的驗(yàn)證技術(shù)和驗(yàn)證流程研究[D];浙江大學(xué);2004年

6 王君;密文數(shù)據(jù)的查詢與驗(yàn)證技術(shù)研究[D];天津財(cái)經(jīng)大學(xué);2008年

7 胡文彬;IC設(shè)計(jì)原型驗(yàn)證技術(shù)研究與實(shí)現(xiàn)[D];合肥工業(yè)大學(xué);2010年

8 張可迪;嵌入式操作系統(tǒng)運(yùn)行時(shí)驗(yàn)證技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2012年

9 廖峰;16位DSP IP核的設(shè)計(jì)與驗(yàn)證技術(shù)[D];西安電子科技大學(xué);2007年

  本文關(guān)鍵詞：引入C-API的軟硬件協(xié)同SoC驗(yàn)證技術(shù)，，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：508845