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

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

• 摘要5-6
• ABSTRACT6-11
• 縮略語對照表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的驗證方法和驗證層次18-24
• 2.1 基于仿真的驗證技術(shù)18-20
• 2.2 形式驗證方法20-21
• 2.3 靜態(tài)分析驗證技術(shù)21-22
• 2.4 系統(tǒng)驗證的層次22-23
• 2.5 本章小結(jié)23-24
• 第三章C-API驗證技術(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在驗證SoC中的應(yīng)用分析38-51
• 3.4 本章小結(jié)51-54
• 第四章 交互C-API的I~2C的驗證實例及結(jié)果分析54-76
• 4.1 C-API對SoC的交互驗證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è)計驗證方案和搭建驗證平臺61-66
• 4.3.1 驗證方案的設(shè)計61
• 4.3.2 驗證平臺的設(shè)計61-66
• 4.4 I~2C各功能模塊的驗證及結(jié)果分析66-74
• 4.4.1 I~2C寄存器的測試66-67
• 4.4.2 I~2C門控時鐘測試67-68
• 4.4.3 從機的發(fā)送和接收測試68-70
• 4.4.4 主機丟失仲裁的測試70-72
• 4.4.5 在多個波特率下傳輸數(shù)據(jù)72-73
• 4.4.6 檢測主機重啟動功能73-74
• 4.5 本章小結(jié)74-76
• 第五章 總結(jié)與展望76-78
• 5.1 總結(jié)76
• 5.2 展望76-78
• 參考文獻78-80
• 致謝80-82
• 作者簡介82-83

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：508845