你想寫出可以跑出700M以上的代碼嗎，直逼FPGA內(nèi)部PLL的極限。

你想寫出時(shí)序裕量足夠的代碼嗎，讓你的代碼不會(huì)出現(xiàn)時(shí)序違例。

你想在時(shí)序違例時(shí)能輕松應(yīng)對嗎？讓代碼輕松越過時(shí)序這道門檻。

這篇文章就是一步步向你解釋，如何理解代碼中的時(shí)序，以及如何解決代碼中的時(shí)序違例問題。

之前的文章中提到過，工程中ISP算法模塊輕松跑到了762.5M的頻率，整個(gè)ISP鏈路沒有優(yōu)化的情況下跑到400M的時(shí)鐘頻率（xilinx的us+系列）。

這篇文章將逐步解開HDL代碼中的時(shí)序之謎，并且讓你輕松應(yīng)對FPGA中的時(shí)序問題。我將從實(shí)際工程的ISP算法模塊出發(fā)，從設(shè)計(jì)到時(shí)序違例的查找，一步步提高代碼的時(shí)序性能。

在第一個(gè)ISP模塊DPC中，我使用了一個(gè)在3x3的矩陣中查找中值的模塊，也就是大家常用的中值濾波器。是不是很多人都設(shè)計(jì)過，先不著急覺得是否簡單，而是看如何把算法移植和時(shí)序的思想灌入到這個(gè)模塊之中。

首先假設(shè)你已經(jīng)得到了一個(gè)3x3的矩陣，簡單看看設(shè)計(jì)思想：

在3x3 窗口中獲取9 個(gè)數(shù)據(jù)，對9 這個(gè)數(shù)據(jù)值進(jìn)行排序，排序步驟如下

A）窗內(nèi)的每行數(shù)據(jù)找到最大值、中間值和最小值；

B）把三列的最小值相比較，取其中的最大值；

C)把三列的最大值相比較，取其中的最小值；

D)把三列的中間值相比較，再取一次中間值；

E) 再把B,C,D 中得到的三個(gè)值再排序，獲取中值。

有了設(shè)計(jì)思想就有了靈魂，剩下的是如何構(gòu)建一個(gè)有血有肉的軀體了。經(jīng)過思考不難發(fā)現(xiàn)，9個(gè)數(shù)的中值濾波變成了3次在3個(gè)數(shù)中找最大值，最小值，中值。

第一次：執(zhí)行步驟A。

第二次：執(zhí)行步驟B,C,D .

第三次：執(zhí)行E 。

第一次三行D1,D2,D3并行，第二次三列Dxmax，Dxmed,Dxmin并行,第三次在剩下的三個(gè)數(shù)里面找到中值，運(yùn)算完畢。所以9個(gè)數(shù)據(jù)的中值查找的設(shè)計(jì)，變成了一個(gè)只需要解決三個(gè)數(shù)據(jù)里面找到max，med，min的設(shè)計(jì)。

是不是覺得這太簡單了。別急，聽我繼續(xù)分析：

既然是在三個(gè)數(shù)據(jù)里面排序，那就需要兩兩比較，于是就是需要比較3次。A 與B ，B與C，A與C。現(xiàn)在假設(shè)A

好，此時(shí)另一個(gè)誤區(qū)可能就要出現(xiàn)了。因?yàn)閒lag可能為0也可能為1，那么你得到了三個(gè)flag，一共有多少種情況呢？可能有人不假思索地回答8種，因?yàn)?bit數(shù)據(jù)，2^3= 8 ，所以就是8 種。其實(shí)不是，用概率與統(tǒng)計(jì)的知識(shí)，三個(gè)數(shù)據(jù)的排序應(yīng)該是有C31* C21 * C11 = 6 種。真值表如下

算法分析完畢，剩下的就是代碼設(shè)計(jì)了。首先你需要進(jìn)行三次比較。

針對上述代碼，畫出對應(yīng)的數(shù)字電路示意圖，（mux的三個(gè)輸入端省略了datx_reg）

我假設(shè)FPGA內(nèi)部按照上圖所示的方式進(jìn)行布局布線，那么最長數(shù)據(jù)路徑應(yīng)該是dat2_reg→comp_12 → mux3. （或者說是dat2_reg→ comp_23 → mux1）這條路徑也就被稱之為最長路徑或者關(guān)鍵路徑。時(shí)序分析工具干的事情就是，分析這條最長路徑（當(dāng)然其他路徑也分析）上的時(shí)序是否滿足條件。

單獨(dú)把這條路徑摳出來，它就是這樣子的。于是，STA靜態(tài)時(shí)序分析的模型就出來了,計(jì)算reg到reg之間的延遲,兩個(gè)reg之間，經(jīng)歷了一個(gè)比較器和一個(gè)多路選擇器這兩個(gè)組合邏輯。

如果上述的路徑因?yàn)樽呔€（linelatency）延遲，或者是因?yàn)檫壿嬔舆t（logiclatency）過大導(dǎo)致了時(shí)序違例，那么我們就應(yīng)該在兩個(gè)組合邏輯之間插入reg。從電路上，應(yīng)該如下圖所示。

那么從代碼的角度，應(yīng)該這樣修改，就可以達(dá)到上圖的效果：

好了，有了這個(gè)參考模板，再去看其他的中值濾波代碼，你就知道要從哪里去優(yōu)化了。

為了讓大家更好的理解時(shí)序，我在網(wǎng)上找了兩個(gè)用相同的算法思路設(shè)計(jì)的開源的代碼?？此麄兊脑O(shè)計(jì)方法

三方代碼 1

三方代碼 2

可以看到數(shù)據(jù)比較的時(shí)候，邏輯明顯有冗余，EDA工具不一定能自動(dòng)優(yōu)化。

然后我將兩個(gè)三方的代碼，以及我自己的代碼放入同一工程中進(jìn)行編譯，故意加大時(shí)鐘頻率，讓它們出現(xiàn)時(shí)序違例，從而找出關(guān)鍵路徑。

三方的兩個(gè)模塊我例化成 median_filter_3x3 ，和 medfilter3by3 ，用vivado2022.1進(jìn)行編譯。得到時(shí)序違例報(bào)告

再進(jìn)一步分析關(guān)聯(lián)路徑1，得到了如下圖所示的路徑示意圖

可以看到在兩個(gè) reg之間有4個(gè)邏輯塊，然后再去代碼中找到相應(yīng)的位置。然后再追究到代碼內(nèi)部。

可以看到，代碼中多次出現(xiàn)重復(fù)性的數(shù)據(jù)比較，這都是數(shù)據(jù)優(yōu)化的方向。具體的位置就是 33-37行，最后vivado推測出第37行，需要經(jīng)過4級(jí)組合邏輯才能將dat3 賦值給 mid_dat 。

審核編輯：劉清