EDK是Xilinx提供的用于構(gòu)建基于Xilinx FPGA的嵌入式系統(tǒng)設(shè)計工具套件，在本章中將系統(tǒng)地介紹該工具的有關(guān)些概念，并通過范例來說明其使用方法，以及嵌入式設(shè)計的技巧。

基本的嵌入式設(shè)計流程如下圖所示。

圖1 基本的嵌入式設(shè)計流程

說明如下。

(1)在基于EDK的嵌入式系統(tǒng)設(shè)計過程中ISE軟件一般在后臺運(yùn)行，XPS工具會通過功能調(diào)用的形式來訪問ISE中的各種實現(xiàn)模塊，并完成后端的實現(xiàn)工作。

(2)xPS主要用于嵌入式系統(tǒng)的硬件部分的設(shè)計，如處理器的硬件規(guī)范、外設(shè)的規(guī)范，以及這些組件的互連等，并通過XPS來完成相應(yīng)的屬性設(shè)置。

(3)簡單的軟件發(fā)工作叮以在XPS中完成，但是更復(fù)雜的應(yīng)用程序開發(fā)及調(diào)試工作Xiliu建議使用平臺軟件開發(fā)工具(SDK)來完成。

(4)可以通過HDL仿真器來驗證硬件平臺功能的正確性，XPS提供了如下3種類型的仿真模型。

行為仿真 Behavioral

結(jié)構(gòu)仿真 Structural

時序仿真Timjng-accurate．

XPS會自動建立并設(shè)罟驗證過程的框架，包括用干仿真的HDL文件，設(shè)計者僅需要輸入時鐘、復(fù)位、激勵信息，以及計設(shè)者的應(yīng)用程序代碼。

(5)完成設(shè)計以后，設(shè)計者僅需單擊相關(guān)菜單項來下載FPGA位流文件和應(yīng)用程序的二進(jìn)制ELF文件。