增量設(shè)計流程針對需要變更部分進行優(yōu)化

　　增量設(shè)計流程的六個實施步驟
 

　　步驟一：準備采用增量流程的設(shè)計

　　創(chuàng)建設(shè)計后,使用Synplify Pro綜合工具中MultiPoint的第一步是在啟動Synplify Pro時創(chuàng)建“實現(xiàn)選項”。該選項包含器件、速度級別、全局頻率,以及其它設(shè)計和優(yōu)化參數(shù)。之后,也可以創(chuàng)建一些采用不同參數(shù)或包含設(shè)計變更的實現(xiàn)方案來測試設(shè)計的變更效果。例如可為初始參數(shù)和HDL設(shè)計代碼創(chuàng)建名為“實現(xiàn)方案 1”的實現(xiàn)方案。

　　Synplify Pro的“Compile Only” (只有編譯) 功能有助于Synplify Pro的SCOPE約束編輯器理解設(shè)計的層次結(jié)構(gòu)。Synplify Pro中的SCOPE(r) 約束編輯器管理綜合和布局布線的約束條件,同時也用于定義各編譯點及其相應的約束條件。編譯點和約束條件都保存在約束文件中,作為該實現(xiàn)方案的一部分,且約束條件已設(shè)置為編譯點定義的一部分。編譯點被定義在新的頂層約束文件中,或者說,編譯點的定義被添加到已有的頂層約束文件 (.sdc) 中。

　　然后,從Synplify Pro的工具條中啟動SCOPE,并從“Select File Type”(選擇檔案類型) 對話框中選擇“Top Level Module”(頂層模塊)。使用這個菜單命令,你可根據(jù)設(shè)計識別出的模塊列表創(chuàng)建各編譯點。你可鎖定某些感興趣的模塊或功能區(qū)塊。這些被鎖定的區(qū)塊將被Synplify Pro識別為編譯點,并同時設(shè)置好其它的一些頂層約束,如輸入/輸出延遲、時鐘頻率、或多循環(huán)路徑。

　　必須在相應的 .sdc文檔中為每個編譯點規(guī)定其約束條件,并在頂層.sdc文件中為整個設(shè)計添加單獨的頂層約束條件。設(shè)計環(huán)境提供名為“Create SCOPE File”(創(chuàng)制 SCOPE 檔案) 的對話框,讓用戶輕松建立編譯點和約束條件。

　　在SCOPE中完成編譯點和約束的設(shè)置后,就可以對頂層設(shè)計進行綜合處理。
 

　　步驟二：分析Synplify Pro的結(jié)果

　　評價綜合結(jié)果有幾種方法。Synplify Pro將時序和區(qū)域?qū)懭雽崿F(xiàn)方案目錄中的日志文檔。你可在Synplify Pro的"HDL Analyst RTL"和" Technology schematic views"中評價設(shè)計;確定其是否已達到設(shè)計目的。你也可查看和隔離某些關(guān)鍵路徑,搜索和標出某些重點設(shè)計目標,在源文件間進行交叉探測。在這個層面上發(fā)現(xiàn)的任何錯誤都應當予以糾正。
 

　　步驟三：綜合或以增量方式重新綜合

　　Synplify Pro允許用戶以增量方式綜合設(shè)計或?qū)φ麄€設(shè)計進行綜合。如果某一編譯點從未改變,Synplify Pro便會使用前次綜合運行時產(chǎn)生的建模文件。你可選擇以增量方式綜合設(shè)計 (即執(zhí)行“run incrementally”指令),該指令只綜合編譯點;而且,只有那些已經(jīng)出現(xiàn)源代碼、約束或?qū)崿F(xiàn)變更的編譯點才會改變。也可用“re-synthesize all”(重新綜合所有) 指令重新綜合整個設(shè)計。一般來說,選擇以增量方式綜合設(shè)計比較省時。
 

　　步驟四：在物理實現(xiàn)環(huán)節(jié)將更新的網(wǎng)表導入Libero

　　一旦Synplify Pro生成網(wǎng)表,就自動成為Libero IDE文檔管理器的一部分,并且可用于布局布線 (即可被布局功能調(diào)用)。在設(shè)計流程和文檔管理器與Libero之間的用戶界面上,你很容易就找到和選出Synplify Pro創(chuàng)建的網(wǎng)表實現(xiàn)方案(參見圖2)。

　　假設(shè)該網(wǎng)表是更新后的網(wǎng)表,包含設(shè)計和綜合過程中產(chǎn)生的增量變更,你可能首先希望保護Libero的初始布局布線過程生成的原始布局。在Libero中,你可輕松地將原始布局保存為物理設(shè)計“View”(也叫做“implementation”) 文件,可按使用方便給該視圖命名,比如命名為“Design_Layout_1”。Libero不會用更新的網(wǎng)表結(jié)果覆蓋“Design_Layout_1”這個文件,它允許在同一項目中創(chuàng)建新的View。例如,可將名為“Design_Layout_2”的文件用于存放更新網(wǎng)表的實現(xiàn)和測試結(jié)果。這個功能使用戶能夠比較用Synplify Pro產(chǎn)生增量網(wǎng)表變化前后的結(jié)果。

　　接下來,在Libero中打開Actel的物理實現(xiàn)工具Designer,將更新的網(wǎng)表用新的實現(xiàn)方案名稱導入Libero,并編譯設(shè)計。編譯設(shè)計后,在Libero的布局選項中完成設(shè)計布局。該菜單的缺省選項會對整個布局進行重新布局布線。對于包含經(jīng)MultiPoint更新后的網(wǎng)表,Actel建議采用完全布局布線。完全布局布線的布局效率最高,但需要對所有時序進行重新驗證。從增量修改策略的角度來看,只對那些直接受增量變化影響的布局部分進行重新布局布線也許更為有利。布局選項菜單包括“Place Incrementally”(放置增量)、“Lock Existing Placement (Fix)”[鎖定現(xiàn)有放置 (修正)]和“Route Incrementally”(布線增量)