多種EDA工具的FPGA設(shè)計方案
概述:介紹了利用多種EDA工具進行FPGA設(shè)計的實現(xiàn)原理及方法,其中包括設(shè)計輸入、綜合、功能仿真、實現(xiàn)、時序仿真、配置下載等具體內(nèi)容。并以實際操作介紹了整個FPGA的設(shè)計流程。
關(guān)鍵詞: FPGA 仿真 綜合 EDA
在數(shù)字系統(tǒng)設(shè)計的今天,片上系統(tǒng)(SoC)技術(shù)的出現(xiàn)已經(jīng)在設(shè)計領(lǐng)域引起深刻變革。為適應(yīng)產(chǎn)品盡快上市的要求,設(shè)計者必須合理選擇各EDA廠家提供的加速設(shè)計的工具軟件,以使其產(chǎn)品在本領(lǐng)域良性發(fā)展。FPGA設(shè)計是當前數(shù)字系統(tǒng)設(shè)計領(lǐng)域中的重要方式之一。本文以多種EDA廠家工具為基礎(chǔ),系統(tǒng)介紹FPGA設(shè)計的流程。
1 數(shù)字邏輯劃分與FPGA內(nèi)部結(jié)構(gòu)
圖1所示為數(shù)字邏輯樹狀分類圖,由其可以看出,現(xiàn)場可編程門陣列(FPGA)是專用集成電路中可編程邏輯器件的重要分支。
隨著微電子工業(yè)的發(fā)展與進步,FPGA的集成度已經(jīng)達到數(shù)百萬門,如Xilinx公司的Xcv3200e最大門數(shù)為320萬門,Altera公司的Apex20k1500e為150萬門,且系統(tǒng)時鐘頻率已達到200MHz,支持多種I/O電壓標準,并具有豐富的可重復(fù)利用的IP 核,便于加速系統(tǒng)設(shè)計。
FPGA的內(nèi)部資源(以Xilinx公司為例)一般分為可編程邏輯塊CLB、輸入輸出塊IOB和可編程連線PI三部分。通過編程控制PI連接各CLB單元,可以形成具有特定功能的電路。使用各公司的專用設(shè)計軟件設(shè)計FPGA,最終可形成由PI控制CLB單元的位流文件。
Xilinx公司主推的Virtex系列FPGA產(chǎn)品采用0.22微米工藝,具有如下特性:支持9種I/O標準、4個延時鎖定環(huán)、塊存儲與分布存儲并存、可編程流水延時存儲、熱控制、配置速率為500Mb/s。而Altera公司的Apex20ke系列同樣是其公司主推的FPGA產(chǎn)品,在內(nèi)部布線資源方面與Xilinx公司產(chǎn)品不同。在Virtex器件中,分為雙長線、單長線、長線幾種,在布線時可以按最近原則進行取舍;而在Apex20ke中,連線僅為一種等長,所以在時序分析時比較準確。
2 FPGA設(shè)計原理
FPGA設(shè)計大體分為設(shè)計輸入、綜合、功能仿真(前仿真)、實現(xiàn)、時序仿真(后仿真)、配置下載等六個步驟,設(shè)計流程如圖2所示。下面分別介紹各個設(shè)計步驟。
2.1 設(shè)計輸入
設(shè)計輸入包括使用硬件描述語言HDL、狀態(tài)圖與原理圖輸入三種方式。HDL設(shè)計方式是現(xiàn)今設(shè)計大規(guī)模數(shù)字集成電路的良好形式,除IEEE標準中VHDL與Verilog HDL兩種形式外,尚有各自FPGA廠家推出的專用語言,如Quartus下的AHDL。HDL語言描述在狀態(tài)機、控制邏輯、總線功能方面較強,使其描述的電路能在特定綜合器(如Synopsys公司的FPGA Compiler II 或FPGA Express)作用下以具體硬件單元較好地實現(xiàn);而原理圖輸入在頂層設(shè)計、數(shù)據(jù)通路邏輯、手工最優(yōu)化電路等方面具有圖形化強、單元節(jié)儉、功能明確等特點。另外,在Altera公司Quartus軟件環(huán)境下,可以使用Memory Editor對內(nèi)部memory進行直接編輯置入數(shù)據(jù)。常用方式是以HDL語言為主,原理圖為輔,進行混合設(shè)計以發(fā)揮二者各自特色。
通常,FPGA廠商軟件與第三方軟件設(shè)有接口,可以把第三方設(shè)計文件導入進行處理。如Quartus與Foundation都可以把EDIF網(wǎng)表作為輸入網(wǎng)表而直接進行布局布線,布局布線后,可再將生成的相應(yīng)文件交給第三方進行后續(xù)處理。
2.2 設(shè)計綜合
綜合,就是針對給定的電路實現(xiàn)功能和實現(xiàn)此電路的約束條件,如速度、功耗、成本及電路類型等,通過計算機進行優(yōu)化處理,獲得一個能滿足上述要求的電路設(shè)計方案。也就是說,被綜合的文件是HDL文件(或相應(yīng)文件等),綜合的依據(jù)是邏輯設(shè)計的描述和各種約束條件,綜合的結(jié)果則是一個硬件電路的實現(xiàn)方案,該方案必須同時滿足預(yù)期的功能和約束條件。對于綜合來說,滿足要求的方案可能有多個,綜合器將產(chǎn)生一個最優(yōu)的或接近最優(yōu)的結(jié)果。因此,綜合的過程也就是設(shè)計目標的優(yōu)化過程,最后獲得的結(jié)果與綜合器的工作性能有關(guān)。
FPGA Compiler II是一個完善的FPGA邏輯分析、綜合和優(yōu)化工具,它從HDL形式未優(yōu)化的網(wǎng)表中產(chǎn)生優(yōu)化的網(wǎng)表文件,包括分析、綜合和優(yōu)化三個步驟。其中,分析是采用Synopsys標準的HDL語法規(guī)則對HDL源文件進行分析并糾正語法錯誤;綜合是以選定的FPGA結(jié)構(gòu)和器件為目標,對HDL和FPGA網(wǎng)表文件進行邏輯綜合;而優(yōu)化則是根據(jù)用戶的設(shè)計約束對速度和面積進行邏輯優(yōu)化,產(chǎn)生一個優(yōu)化的FPGA網(wǎng)表文件,以供FPGA布局和布線工具使用,即將電路優(yōu)化于特定廠家器件庫,獨立于硅特性,但可以被約束條件所驅(qū)動。
利用FPGA Compiler II進行設(shè)計綜合時,應(yīng)在當前Project下導入設(shè)計源文件,自動進行語法分析,在語法無誤并確定綜合方式、目標器件、綜合強度、層次保持選擇、優(yōu)化目標等設(shè)置后,即可進行綜合與優(yōu)化。在此可以將兩步獨立進行,在兩步之間進行約束指定,如時鐘的確定、通路與端口的延時、模塊的算子共享、寄存器的扇出等。如果設(shè)計模型較大,可以采用層次化方式進行綜合,先綜合下級模塊,后綜合上級模塊。在進行上級模塊綜合時設(shè)置下級模塊為Don′t Touch,使設(shè)計與綜合過程合理化。綜合后形成的網(wǎng)表可以以EDIF格式輸出,也可以以VHDL或Verilog HDL格式輸出,將其導入FPGA設(shè)計廠商提供的可支持第三方設(shè)計輸入的專用軟件中,就可進行后續(xù)的FPGA芯片的實現(xiàn)。綜合完成后可以輸出報告文件,列出綜合狀態(tài)與綜合結(jié)果,如資源使用情況、綜合后層次信息等。
2.3 仿真驗證
從廣義上講,設(shè)計驗證包括功能與時序仿真和電路驗證。仿真是指使用設(shè)計軟件包對已實現(xiàn)的設(shè)計進行完整測試,模擬實際物理環(huán)境下的工作情況。前仿真是指僅對邏輯功能進行測試模擬,以了解其實現(xiàn)的功能是否滿足原設(shè)計的要求,仿真過程沒有加入時序信息,不涉及具體器件的硬件特性,如延時特性;而在布局布線后,提取有關(guān)的器件延遲、連線延時等時序參數(shù),并在此基礎(chǔ)上進行的仿真稱為后仿真,它是接近真實器件運行的仿真。
2.4 設(shè)計實現(xiàn)
實現(xiàn)可理解為利用實現(xiàn)工具把邏輯映射到目標器件結(jié)構(gòu)的資源中,決定邏輯的最佳布局,選擇邏輯與輸入輸出功能塊連接的布線通道進行連線,并產(chǎn)生相應(yīng)文件(如配置文件與相關(guān)報告)。通??煞譃槿缦挛鍌€步驟:
(1)轉(zhuǎn)換:將多個設(shè)計文件進行轉(zhuǎn)換并合并到一個設(shè)計庫文件中。
(2)映射:將網(wǎng)表中邏輯門映射成物理元素,即把邏輯設(shè)計分割到構(gòu)成可編程邏輯陣列內(nèi)的可配置邏輯塊與輸入輸出塊及其它資源中的過程。
(3)布局與布線:布局是指從映射取出定義的邏輯和輸入輸出塊,并把它們分配到FPGA內(nèi)部的物理位置,通?;谀撤N先進的算法,如最小分割、模擬退火和一般的受力方向張弛等來完成;布線是指利用自動布線軟件使用布線資源選擇路徑試著完成所有的邏輯連接。因最新的設(shè)計實現(xiàn)工具是時序驅(qū)動的,即在器件的布局布線期間對整個信號通道執(zhí)行時序分析,因此可以使用約束條件操縱布線軟件,完成設(shè)計規(guī)定的性能要求。在布局布線過程中,可同時提取時序信息形成報告。
(4)時序提取:產(chǎn)生一反標文件,供給后續(xù)的時序仿真使用。
(5)配置:產(chǎn)生FPGA配置時所需要的位流文件。
在實現(xiàn)過程中可以進行選項設(shè)置。因其支持增量設(shè)計,可以使其重復(fù)多次布線,且每次布線利用上一次布線信息以使其布線更優(yōu)或達到設(shè)計目標。在實現(xiàn)過程中應(yīng)設(shè)置默認配置的下載形式,以使后續(xù)位流下載正常。
2.5 時序分析
在設(shè)計實現(xiàn)過程中,在映射后需要對一個設(shè)計的實際功能塊的延時和估計的布線延時進行時序分析;而在布局布線后,也要對實際布局布線的功能塊延時和實際布線延時進行靜態(tài)時序分析。從某種程度來講,靜態(tài)時序分析可以說是整個FPGA設(shè)計中最重要的步驟,它允許設(shè)計者詳盡地分析所有關(guān)鍵路徑并得出一個有次序的報告,而且報告中含有其它調(diào)試信息,比如每個網(wǎng)絡(luò)節(jié)點的扇出或容性負載等。靜態(tài)時序分析器可以用來檢查設(shè)計的邏輯和時序,以便計算各通路性能,識別可能的蹤跡,檢測建立和保持時間的配合,時序分析器不要求用戶產(chǎn)生輸入激勵或測試矢量。雖然Xilinx與Altera在FPGA開發(fā)套件上擁有時序分析工具,但在擁有第三方專門時序分析工具的情況下,僅利用FPGA廠家設(shè)計工具進行布局布線,而使用第三方的專門時序分析工具進行時序分析,一般FPGA廠商在其設(shè)計環(huán)境下皆有與第三方時序分析工具的接口。Synopsys公司的PrimeTime是一個很好的時序分析工具,利用它可以達到更好的效果。將綜合后的網(wǎng)表文件保存為db格式,可在PrimeTime環(huán)境下打開。利用此軟件查看關(guān)鍵路徑或設(shè)計者感興趣的通路的時序,并對其進行分析,再次對原來的設(shè)計進行時序約束,可以提高工作主頻或減少關(guān)鍵路徑的延時。與綜合過程相似,靜態(tài)時序分析也是一個重復(fù)的過程,它與布局布線步驟緊密相連,這個操作通常要進行多次直到時序約束得到很好的滿足。
在綜合與時序仿真過程中交互使用PrimeTime進行時序分析,滿足設(shè)計要求后即可進行FPGA芯片投片前的最終物理驗證。
2.6 下載驗證
下載是在功能仿真與時序仿真正確的前提下,將綜合后形成的位流下載到具體的FPGA芯片中,也叫芯片配置。FPGA設(shè)計有兩種配置形式:直接由計算機經(jīng)過專用下載電纜進行配置;由外圍配置芯片進行上電時自動配置。因FPGA具有掉電信息丟失的性質(zhì),因此可在驗證初期使用電纜直接下載位流,如有必要再將其燒錄到配置芯片中(如Xilinx的XC18V系列,Altera的EPC2系列)。使用電纜下載時有多種下載方式,如對Xilinx公司的FPGA下載可以使用JTAG Programmer、Hardware Programmer、PROM Programmer三種方式,而對Altera公司的FPGA可以選擇JTAG方式或Passive Serial方式。因FPGA大多支持IEEE的JTAG標準,所以使用芯片上的JTAG口是常用下載方式。
將位流文件下載到FPGA器件內(nèi)部后進行實際器件的物理測試即為電路驗證,當?shù)玫秸_的驗證結(jié)果后就證明了設(shè)計的正確性。電路驗證對FPGA投片生產(chǎn)具有較大意義。
3 基于多種EDA工具的FPGA設(shè)計
仿真工具Modelsim與綜合工具FPGA Compiler II及布線工具Foundation Series或Quartus相配合實現(xiàn)FPGA設(shè)計的流程圖如圖3所示。
在設(shè)計輸入階段,因Modelsim僅支持VHDL或Verilog HDL,所以在選用多種設(shè)計輸入工具時,可以使用文本編輯器完成HDL語言的輸入,也可以利用相應(yīng)的工具以圖形方式完成輸入,但必須能夠?qū)С鰧?yīng)的VHDL或Verilog HDL格式。近年來出現(xiàn)的圖形化HDL設(shè)計工具,可以接收邏輯結(jié)構(gòu)圖、狀態(tài)轉(zhuǎn)換圖、數(shù)據(jù)流圖、控制流程圖及真值表等輸入方式,并通過配置的翻譯器將這些圖形格式轉(zhuǎn)化為HDL文本,如Mentor Graphics公司的Renoir,Xilinx公司的Foundation Series都帶有將狀態(tài)轉(zhuǎn)換圖翻譯成HDL文本的設(shè)計工具。在這方面,Summit公司(現(xiàn)在已經(jīng)合并為Innoveda)的圖形化界面友好程度較高,且可以導出相應(yīng)的HDL格式。
從圖3中可以看到有三處可以由Modelsim進行仿真:第一處是寄存器傳輸級(RTL)仿真,此級仿真是對設(shè)計的語法和基本功能進行驗證(不含時序信息);第二處是針對特定的FPGA廠家技術(shù)的仿真,此級仿真是在綜合后、實現(xiàn)前而進行的功能級仿真,功能級仿真一般驗證綜合后是否可以得到設(shè)計者所需要的正確功能;第三處仿真是門級仿真,此級仿真是針對門級時序進行的仿真,門級仿真體現(xiàn)出由于布局布線而產(chǎn)生的實際延時。
在RTL仿真階段,應(yīng)該建立一個測試臺。此測試臺可以在整個FPGA流程中進行仿真驗證(RTL級、功能級、時序門級)。測試臺不但提供測試激勵與接收響應(yīng)信息,而且可以測試HDL仿真流程中的關(guān)鍵功能(如運算部件輸出值的正確性等)。測試臺的產(chǎn)生可以直接使用文本編輯得到,也可以使用圖形化工具輸入,再由軟件翻譯為HDL格式,例如使用HDL Bencher軟件利用其良好的波形輸入界面輸入測試激勵,再由其自動轉(zhuǎn)化為HDL格式而得到。
在功能級仿真階段,一般驗證綜合后是否仍與RTL級仿真結(jié)果相同。
在門級仿真階段,由于已經(jīng)針對具體的FPGA廠家技術(shù)進行了功能級仿真,因此可以通過布局布線得到標準延時格式下的時序信息進行門級仿真。
Mentor Graphics 公司的Modelsim是業(yè)界較好的仿真工具,其仿真功能強大,且圖形化界面友好,而且具有結(jié)構(gòu)、信號、波形、進程、數(shù)據(jù)流等窗口。將FPGA設(shè)計(以HDL方式)輸入后進行編譯即可進行前仿真,其最新版本Modelsim SE/Plus 5.5 支持VHDL與Verilog HDL混合仿真。在仿真時可以編寫HDL激勵文件或執(zhí)行組模式方式。組模式方式類似批處理方式,可以連續(xù)執(zhí)行事先在文件中寫好的多個執(zhí)行命令,這對重新仿真或重復(fù)執(zhí)行多個命令特別有效。在仿真過程中可以執(zhí)行性能分析與代碼覆蓋分析。性能分析在程序代碼執(zhí)行過程中可以分析出各部分代碼執(zhí)行時占用整體執(zhí)行時間的百分率。在此信息下,設(shè)計者可以找到設(shè)計的瓶頸并通過優(yōu)化代碼減少仿真時間。代碼覆蓋分析可以使設(shè)計者確切知道在測試臺上正在進行的代碼位置,以方便設(shè)計者調(diào)試。
由Modelsim進行仿真,需要導出VHDL或Verilog HDL網(wǎng)表。此網(wǎng)表是由針對特定FPGA器件的基本單元組成的。這些基本單元在FPGA廠家提供的廠家?guī)熘泻衅涠x和特性,且廠家一般提供其功能的VHDL或Verilog HDL庫。因此,在Modelsim下進行仿真,需要設(shè)置廠家?guī)煨畔ⅰH缡褂肁ltera公司的Apex20ke系列,需要將Apex20ke_atoms.v(或.vhd)與Apex20ke_component.v文件設(shè)置或編譯到工程項目的對應(yīng)庫中。除網(wǎng)表外,還需要布局布線輸出的標準延時文件(sdf),將sdf文件加入仿真可以在窗口化界面設(shè)置加入,或通過激勵指定。如使用Verilog HDL時加入反標語句$sdf_annotate(“ ”,Top)通過參數(shù)路徑指定即可。
在綜合階段,應(yīng)利用設(shè)計者指定的約束文件將RTL級設(shè)計功能實現(xiàn)并優(yōu)化到具有相等功能且具有單元延時(但不含時序信息)的基本器件中,如觸發(fā)器、邏輯門等,得到的結(jié)果是功能獨立于FPGA的網(wǎng)表。它不含時序信息,可作為后續(xù)的布局布線使用。使用FPGA Compiler II進行綜合后可以導出EDIF網(wǎng)表。
在實現(xiàn)階段,主要是利用綜合后生成的EDIF網(wǎng)表并基于FPGA內(nèi)的基本器件進行布局布線??梢岳貌季€工具Foundation Series選用具體器件(如Virtex系列器件)進行布局布線加以實現(xiàn),也可以使用布線工具Quartus選用Apex20ke系列器件進行布局布線加以實現(xiàn),同時輸出相應(yīng)的VHDL或Verilog HDL格式,以便在Modelsim下進行仿真。
關(guān)于其它階段,因篇幅關(guān)系,在此不再贅述。
在數(shù)字系統(tǒng)設(shè)計的今天,利用多種EDA工具進行處理,同時使用FPGA快速設(shè)計專用系統(tǒng)或作為檢驗手段已經(jīng)成為數(shù)字系統(tǒng)設(shè)計中不可或缺的一種方式,了解并熟悉其設(shè)計流程應(yīng)成為現(xiàn)今電子工程師的一種必備知識。