1、隨著信息化的不斷發(fā)展，市場對SoC芯片的要求越來越高，這提高了SoC系統(tǒng)芯片設(shè)計的規(guī)模和復雜度，導致了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)勢進行了研究。

2、
　　(1)引入 C-API的驗證技術(shù)能夠加快驗證速度的優(yōu)勢主要表現(xiàn)在：在同類產(chǎn)品中，即使是處理器內(nèi)核的架構(gòu)不同，工程師也可以使用C-API將功能相同或相似模塊的設(shè)計驗證代碼進行相互移植，這提高了代碼的復用性，節(jié)省了工程師對不同核進行重新編寫代碼的時間，這極大地提高了產(chǎn)品開發(fā)的效率；
　　(2)引入C-API的驗證技術(shù)能夠使驗證變得更方便的優(yōu)勢主要體現(xiàn)在：工程師通過使用封裝在C-API的軟硬件驗證技術(shù)中的宏和函數(shù)，如DEBU

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

4、，并通過其打印的log對驗證的信息進行方便快速的定位。
　　本文以飛思卡爾開發(fā)某型號SoC芯片的I2C模塊作為驗證實例，引入C-API的驗證技術(shù)對I2C的寄存器的讀寫功能，門控制鐘的控制功能，作為主從機對數(shù)據(jù)的收發(fā)功能，以及在不同的波特率下對數(shù)據(jù)的傳輸功能和I2C的重啟動功能進行了驗證。該技術(shù)的使用使I2C的驗證變得簡單快速。對于引入C-API驗證技術(shù)的優(yōu)勢，飛思卡爾給出了數(shù)據(jù)，即在開發(fā)人員人數(shù)不變的情況下，該技術(shù)能夠使驗證任務(wù)由