RTL設(shè)計編碼原則

同步設(shè)計和異步設(shè)計的特點

同步邏輯是時鐘之間有固定的因果關(guān)系。異步邏輯是各時鐘之間沒有固定的因果關(guān)系。

同步電路特點：時鐘個數(shù)只有一個，電路中觸發(fā)器的時鐘輸入端連接同一個時鐘脈沖源，所有觸發(fā)器的狀態(tài)變化都與所加的時鐘脈沖信號同步;由于只有一個時鐘，所以整個電路所有時鐘應(yīng)該是同源同相的；一般會濾掉毛刺，不需要特別考慮競爭與冒險；有利于靜態(tài)時序分析；設(shè)計的電路具有強耦合關(guān)系，不利于面積優(yōu)化與低功耗優(yōu)化，不靈活；存在時鐘偏斜問題。

異步電路特點：電路中沒有統(tǒng)一的時鐘（可以有多個時鐘），有些觸發(fā)器的時鐘輸入端與時鐘脈沖源相連（與時鐘脈沖源同步），其余觸發(fā)器狀態(tài)變化不與時鐘脈沖源同步；由于有多個時鐘，因此有些時鐘是同源不同相的，有些是不同源的；很大概率存在競爭與冒險；一般無法對異步電路進行靜態(tài)時序分析；電路耦合關(guān)系很弱，設(shè)計比較靈活，相同條件下比同步電路功耗低；不存在時鐘偏斜問題。

做模塊劃分時應(yīng)該考慮哪些問題

結(jié)構(gòu)層次化是設(shè)計的一種基本思想，需要注意：結(jié)構(gòu)不宜太深，否則綜合時面積過大，綜合工具會默認做扁平化處理；頂層設(shè)置不宜過于復(fù)雜，主要完成諸如輸入輸出，模塊調(diào)用與實例化，全局時鐘，三態(tài)總線，全局復(fù)位等等簡單的功能；雙向的信號最好只在頂層出現(xiàn)；子模塊之間最好不要有跨層次的接口；合理考慮子模塊的功能、結(jié)構(gòu)、時序等。

模塊劃分的技巧：對每個同步時序設(shè)計的子模塊的輸出使用寄存器處理；將相關(guān)的邏輯或者可以復(fù)用的邏輯寫在一起；將不同優(yōu)化目標(biāo)的部分分開，時序的和面積的分開處理；將時序?qū)捤傻姆值酵粋€模塊；將存儲器件獨立劃分；合理規(guī)劃模塊的規(guī)模。

圖1模塊劃分示意圖

組合邏輯設(shè)計有哪些考慮點

根據(jù)邏輯功能的不同特點，可以將數(shù)字電路分成兩大類，一類稱為組合邏輯電路（簡稱組合電路），另一類稱為時序邏輯電路（簡稱時序電路）。

常見組合邏輯電路包括編碼器、譯碼器、數(shù)據(jù)選擇器、數(shù)值比較器、加法器、函數(shù)發(fā)生器、奇偶校驗器/發(fā)生器等。

圖2組合邏輯之半加器

組合邏輯設(shè)計注意事項包括：避免組合邏輯反饋環(huán)路(容易毛刺、振蕩、時序違規(guī)等)；替換延遲鏈，用倍頻、分頻或者同步計數(shù)器完成；替換異步脈沖產(chǎn)生單元(毛刺生成器)，用同步時序設(shè)計脈沖電路；慎用鎖存器，鎖存器容易產(chǎn)生毛刺。

RTL代碼優(yōu)化有哪些技巧

Pipelining,即流水線時序優(yōu)化方法,其本質(zhì)是調(diào)整一個較長的組合邏輯路徑中的寄存器位置,用寄存器合理分割該組合邏輯路徑,從而降低了對路徑的Clock-To-Output和Setup等時間參數(shù)的要求,達到提高設(shè)計頻率的目的。但是必須要注意的是,使用Pipelining優(yōu)化技術(shù)只能合理地調(diào)整寄存器位置。

模塊復(fù)用與Resource Sharing，Sharing模塊復(fù)用和Resource Sharing是一種節(jié)約面積的思想，在設(shè)計電路中，在不影響性能的情況下，實現(xiàn)最少的邏輯資源開銷。

邏輯復(fù)制是一種通過增加面積而改善時序條件的優(yōu)化手段。邏輯復(fù)制最常使用的場合是調(diào)整信號的扇出。如果某個信號需要驅(qū)動后級的很多單元,換句話說,也就是其扇出非常大,那么為了增加這個信號的驅(qū)動能力,必須插入很多級Buffer,這樣就在一定程度上增加了這個信號路徑的延時。這時可以復(fù)制生成這個信號的邏輯,使多路同頻同相的信號驅(qū)動后續(xù)電路,平均到每路的扇出變低,不需要加Buffer也能滿足驅(qū)動能力的要求,這樣就節(jié)約了該信號的路徑時延。

香農(nóng)擴展(Shannon Expansion)也是一種邏輯復(fù)制、增加面積、提高頻率的時序優(yōu)化手段。香農(nóng)擴展通過邏輯復(fù)制、增加MUX（多路選擇器）來縮短某個優(yōu)先級高但組合路徑長的信號的路徑延時（信號a），從而提高該關(guān)鍵路徑的工作頻率，以增加面積換取電路時序性能的優(yōu)化。其擴展運算公式為：Fa,b,c=aF1,b,c+aF(0,b,c)。

END

審核編輯 ：李倩