一種基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)的制作方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于集成電路設(shè)計(jì)領(lǐng)域，涉及一種基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)
-ψ-1 口 O
【背景技術(shù)】
[0002]以軟硬件協(xié)同設(shè)計(jì)與驗(yàn)證技術(shù)為手段的SoC研制，從IP的開(kāi)發(fā)，到IP集成為SoC平臺(tái)，軟件形式從基于SoC平臺(tái)的驗(yàn)證軟件，到基于典型系統(tǒng)的應(yīng)用驗(yàn)證軟件，軟件工作量逐漸增加，最后占到SoC研制工作量的90%。因此急需提升基于SoC的軟件工程能力水平，構(gòu)建通用化和可重用的軟件設(shè)計(jì)平臺(tái)，提高軟件開(kāi)發(fā)效率、提升軟件質(zhì)量，加快SoC軟硬件協(xié)同設(shè)計(jì)與驗(yàn)證的速度。

【發(fā)明內(nèi)容】

[0003]本發(fā)明為解決【背景技術(shù)】存在的上述技術(shù)問(wèn)題，為基于嵌入式處理器的SoC研發(fā)提供一種通用化和可重用的驗(yàn)證軟件設(shè)計(jì)平臺(tái)，提高軟件開(kāi)發(fā)效率、提升軟件質(zhì)量，加快SoC軟硬件協(xié)同設(shè)計(jì)與驗(yàn)證的速度。
[0004]本發(fā)明的技術(shù)解決方案是:本發(fā)明為一種基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)，其特殊之處在于:該平臺(tái)包括依次連接的軟件庫(kù)、通用模塊驗(yàn)證軟件、軟件開(kāi)發(fā)環(huán)境以及相關(guān)文件格式轉(zhuǎn)換工具，其中:
[0005]所述軟件庫(kù)，為基于嵌入式處理器的通用模塊驗(yàn)證軟件設(shè)計(jì)提供庫(kù)函數(shù)；
[0006]所述通用模塊驗(yàn)證軟件，根據(jù)用戶(hù)要求，調(diào)用軟件庫(kù)的庫(kù)函數(shù)為基于嵌入式處理器的SoC提供通用硬件模塊的驗(yàn)證軟件；
[0007]所述軟件開(kāi)發(fā)環(huán)境，用于編輯、編譯、鏈接軟件庫(kù)和通用模塊驗(yàn)證軟件，生成可執(zhí)行文件、用于程序固化的文件、匯編文件；
[0008]所述文件格式轉(zhuǎn)換工具，用于將軟件開(kāi)發(fā)環(huán)境生成的可執(zhí)行文件轉(zhuǎn)化為SoC驗(yàn)證所需的文件格式。
[0009]上述軟件庫(kù)包含處理器、復(fù)位、中斷、串口、定時(shí)器、看門(mén)狗、FLASH、SRAM模塊工作所需要的庫(kù)函數(shù)。
[0010]上述通用模塊驗(yàn)證軟件包括:處理器、復(fù)位、中斷、串口、定時(shí)器、看門(mén)狗、FLASH、SRAM模塊的功能、性能驗(yàn)證軟件，其中每個(gè)通用模塊各建立一個(gè)文件夾，該文件夾下包含此模塊的驗(yàn)證.c文件、.h文件以及編譯后的ob jdump文件。
[0011]上述軟件開(kāi)發(fā)環(huán)境對(duì)軟件設(shè)計(jì)者實(shí)行半開(kāi)放模式，軟件設(shè)計(jì)者根據(jù)給定的模板編寫(xiě)MakefiIe文件、.1d鏈接腳本文件，實(shí)現(xiàn)軟件的裁剪。
[0012]上述文件格式轉(zhuǎn)換工具將由開(kāi)發(fā)環(huán)境生成的可執(zhí)行文件轉(zhuǎn)換成基于嵌入式處理器的SoC虛擬平臺(tái)驗(yàn)證時(shí)所需的.V文件。
[0013]本發(fā)明為基于嵌入式處理器的SoC研發(fā)提供一種通用化和可重用的驗(yàn)證軟件設(shè)計(jì)平臺(tái)，使用該平臺(tái)可提高軟件開(kāi)發(fā)效率、提升軟件質(zhì)量，加快SoC軟硬件協(xié)同設(shè)計(jì)與驗(yàn)證的速度。本發(fā)明具有以下優(yōu)點(diǎn):
[0014]1、具備軟件庫(kù)，為基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)提供基本的庫(kù)函數(shù)；
[0015]2、提供通用模塊驗(yàn)證軟件，為基于嵌入式處理器的SoC提供通用硬件模塊的驗(yàn)證軟件，以驗(yàn)證通用模塊的功能、性能是否正確。同時(shí)為其它特殊模塊的驗(yàn)證軟件編寫(xiě)提供參考；
[0016]3、具備軟件開(kāi)發(fā)環(huán)境，用于編輯、編譯、鏈接軟件，可將特定嵌入式處理器匯編程序、C語(yǔ)言程序編譯鏈接成可執(zhí)行文件.elf、用于程序固化的文件.bin、匯編文件objdump;軟件開(kāi)發(fā)環(huán)境對(duì)軟件設(shè)計(jì)者實(shí)行半開(kāi)放模式，軟件設(shè)計(jì)者可根據(jù)給定的模板編寫(xiě)Makefile文件、.Id鏈接腳本文件，實(shí)現(xiàn)軟件的裁剪；
[0017]4、具備文件格式轉(zhuǎn)換工具:將由開(kāi)發(fā)環(huán)境生成的可執(zhí)行文件轉(zhuǎn)換成基于嵌入式處理器的SoC虛擬平臺(tái)驗(yàn)證時(shí)所需的.V文件。
[0018]5、將該平臺(tái)與SoC硬件設(shè)計(jì)平臺(tái)集成在一起:方便軟硬件設(shè)計(jì)、驗(yàn)證人員查看工作過(guò)程中所需信息，提高SoC軟硬件協(xié)同設(shè)計(jì)與驗(yàn)證的集成度。
【附圖說(shuō)明】
[0019]圖1為本發(fā)明具體實(shí)施原理圖。
【具體實(shí)施方式】
[0020]下面對(duì)本發(fā)明做進(jìn)一步詳細(xì)說(shuō)明。
[0021]本發(fā)明包括軟件庫(kù)2、通用模塊驗(yàn)證軟件3、軟件開(kāi)發(fā)環(huán)境4以及相關(guān)文件格式轉(zhuǎn)換工具5，并將該平臺(tái)與SoC硬件設(shè)計(jì)平臺(tái)集成在一起。其中:軟件庫(kù)2，為基于嵌入式處理器的通用模塊驗(yàn)證軟件3設(shè)計(jì)提供庫(kù)函數(shù);通用模塊驗(yàn)證軟件3，根據(jù)用戶(hù)要求，調(diào)用軟件庫(kù)2的庫(kù)函數(shù)為基于嵌入式處理器的SoC提供通用硬件模塊的驗(yàn)證軟件;軟件開(kāi)發(fā)環(huán)境4，用于編輯、編譯、鏈接軟件庫(kù)2和通用模塊驗(yàn)證軟件3，生成可執(zhí)行文件、用于程序固化的文件、匯編文件;文件格式轉(zhuǎn)換工具5，用于將軟件開(kāi)發(fā)環(huán)境4生成的可執(zhí)行文件轉(zhuǎn)化為SoC驗(yàn)證所需的文件格式。軟件庫(kù)2包含基于嵌入式處理器的SoC所涉及的通用處理模塊，如:處理器、復(fù)位、中斷、串口、定時(shí)器、看門(mén)狗、FLASH、SRAM模塊工作所需要的庫(kù)函數(shù)。通用模塊驗(yàn)證軟件3所涉及的通用處理模塊，如:處理器、復(fù)位、中斷、串口、定時(shí)器、看門(mén)狗、FLASH、SRAM模塊的功能、性能驗(yàn)證軟件，每個(gè)模塊各建立一個(gè)文件夾，該文件夾下包含此模塊的驗(yàn)證.c文件、.h文件以及編譯后的objdump文件。軟件開(kāi)發(fā)環(huán)境4將特定嵌入式處理器匯編程序、C語(yǔ)言程序編譯鏈接成可執(zhí)行文件、用于程序固化的文件、匯編文件;軟件開(kāi)發(fā)環(huán)境4對(duì)軟件設(shè)計(jì)者實(shí)行半開(kāi)放模式，軟件設(shè)計(jì)者根據(jù)給定的模板編寫(xiě)Makefile文件、.1d鏈接腳本文件，實(shí)現(xiàn)軟件的裁剪。文件格式轉(zhuǎn)換工具5將由開(kāi)發(fā)環(huán)境4生成的可執(zhí)行文件轉(zhuǎn)換成基于嵌入式處理器的SoC虛擬平臺(tái)驗(yàn)證時(shí)所需的.V文件。
【主權(quán)項(xiàng)】
1.一種基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)，其特征在于:該平臺(tái)包括依次連接的軟件庫(kù)、通用模塊驗(yàn)證軟件、軟件開(kāi)發(fā)環(huán)境以及相關(guān)文件格式轉(zhuǎn)換工具，其中: 所述軟件庫(kù)，為基于嵌入式處理器的通用模塊驗(yàn)證軟件設(shè)計(jì)提供庫(kù)函數(shù)； 所述通用模塊驗(yàn)證軟件，根據(jù)用戶(hù)要求，調(diào)用軟件庫(kù)的庫(kù)函數(shù)為基于嵌入式處理器的SoC提供通用硬件模塊的驗(yàn)證軟件； 所述軟件開(kāi)發(fā)環(huán)境，用于編輯、編譯、鏈接軟件庫(kù)和通用模塊驗(yàn)證軟件，生成可執(zhí)行文件、用于程序固化的文件、匯編文件； 所述文件格式轉(zhuǎn)換工具，用于將軟件開(kāi)發(fā)環(huán)境生成的可執(zhí)行文件轉(zhuǎn)化為SoC驗(yàn)證所需的文件格式。2.根據(jù)權(quán)利要求1所述的基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)，其特征在于:所述軟件庫(kù)包含處理器、復(fù)位、中斷、串口、定時(shí)器、看門(mén)狗、FLASH、SRAM模塊工作所需要的庫(kù)函數(shù)。3.根據(jù)權(quán)利要求2所述的基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)，其特征在于:所述通用模塊驗(yàn)證軟件包括:處理器、復(fù)位、中斷、串口、定時(shí)器、看門(mén)狗、FLASH、SRAM模塊的功能、性能驗(yàn)證軟件，其中每個(gè)通用模塊各建立一個(gè)文件夾，該文件夾下包含此模塊的驗(yàn)證.c文件、.h文件以及編譯后的objdump文件。4.根據(jù)權(quán)利要求3所述的基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)，其特征在于:所述軟件開(kāi)發(fā)環(huán)境對(duì)軟件設(shè)計(jì)者實(shí)行半開(kāi)放模式，軟件設(shè)計(jì)者根據(jù)給定的模板編寫(xiě)Makefile文件、.1d鏈接腳本文件，實(shí)現(xiàn)軟件的裁剪。5.根據(jù)權(quán)利要求4所述的基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)，其特征在于:所述文件格式轉(zhuǎn)換工具將由開(kāi)發(fā)環(huán)境生成的可執(zhí)行文件轉(zhuǎn)換成基于嵌入式處理器的SoC虛擬平臺(tái)驗(yàn)證時(shí)所需的.V文件。
【專(zhuān)利摘要】本發(fā)明提供一種基于嵌入式處理器的SoC驗(yàn)證軟件設(shè)計(jì)平臺(tái)。該平臺(tái)包括依次連接的軟件庫(kù)、通用模塊驗(yàn)證軟件、軟件開(kāi)發(fā)環(huán)境以及相關(guān)文件格式轉(zhuǎn)換工具。本發(fā)明能為基于嵌入式處理器的SoC設(shè)計(jì)提供驗(yàn)證軟件的設(shè)計(jì)平臺(tái)，為SoC的軟硬件協(xié)同設(shè)計(jì)與驗(yàn)證工作提供有效的解決方案，該平臺(tái)使用方便、適應(yīng)性廣。
【IPC分類(lèi)】G06F9/44
【公開(kāi)號(hào)】CN105573750
【申請(qǐng)?zhí)枴緾N201510925831
【發(fā)明人】黎小玉, 田澤, 蔡葉芳, 趙強(qiáng), 胡小婷, 劉娟
【申請(qǐng)人】中國(guó)航空工業(yè)集團(tuán)公司西安航空計(jì)算技術(shù)研究所
【公開(kāi)日】2016年5月11日
【申請(qǐng)日】2015年12月11日