SoC設(shè)計(jì)中基于WinCE協(xié)同驗(yàn)證的研究.pdf

1、SoC驗(yàn)證是SoC研制成敗的關(guān)鍵，對于設(shè)計(jì)如何有效地進(jìn)行驗(yàn)證，一直處于研究之中。本論文以系統(tǒng)芯片SoC的研制為背景，研究SoC設(shè)計(jì)中的基于WinCE操作系統(tǒng)的軟硬件協(xié)同驗(yàn)證，具體完成的工作包括以下幾個(gè)方面：
　　 首先，介紹了SoC軟硬件協(xié)同驗(yàn)證的歷史背景、軟硬件協(xié)同驗(yàn)證的必要性、軟硬件協(xié)同驗(yàn)證的定義和主要作用、軟硬件協(xié)同驗(yàn)證的方法、嵌入式系統(tǒng)的定義和特點(diǎn)以及WinCE操作系統(tǒng)的特點(diǎn)。
　　 其次，分析了基于虛擬仿真驗(yàn)證

2、平臺的驗(yàn)證和基于FPGA驗(yàn)證平臺的驗(yàn)證。在虛擬仿真驗(yàn)證平臺中，針對SoC的功能特性進(jìn)行仿真驗(yàn)證，搭建了基于虛擬仿真驗(yàn)證平臺的仿真驗(yàn)證環(huán)境，實(shí)現(xiàn)了受限隨機(jī)驗(yàn)證向量自動生成和仿真結(jié)果自動檢查，提高了驗(yàn)證效率，代碼覆蓋和功能覆蓋相結(jié)合的覆蓋率衡量機(jī)制保證了驗(yàn)證的充分性。在FPGA驗(yàn)證平臺中，根據(jù)性能指標(biāo)要求、環(huán)境條件要求、機(jī)械與電氣接口要求、可靠性、維修性、綜合保障性要求、驗(yàn)收要求等各項(xiàng)指標(biāo)搭建了基于FPGA驗(yàn)證平臺的驗(yàn)證環(huán)境，描述了FPGA

3、原型驗(yàn)證的優(yōu)點(diǎn)，F(xiàn)PGA原型驗(yàn)證的過程以及FPGA原型驗(yàn)證的局限性。
　　 最后，進(jìn)行了基于WinCE操作系統(tǒng)的軟硬件協(xié)同驗(yàn)證。先根據(jù)本SoC硬件平臺的特性將WinCE操作系統(tǒng)完整地移植到SoC硬件平臺上，然后根據(jù)需要驗(yàn)證的周邊資源進(jìn)行相應(yīng)的驅(qū)動程序的開發(fā)，完后開發(fā)應(yīng)用程序，構(gòu)造大量的數(shù)據(jù)進(jìn)行驗(yàn)證。通過這種方法的驗(yàn)證，可以保證芯片功能的完備性，改善了系統(tǒng)的性能，提高了一次流片成功的可能性。
　　 本論文研究成果已用于So