驗證 IP 不僅僅是功能。功能的交互、時間的可變性和測試策略都成為更廣泛的驗證策略的因素。

FPGA 在過去十年中不斷發(fā)展，變得更大、更復雜。為 FPGA 開發(fā)的知識產(chǎn)權(quán) （IP） 在尺寸和復雜性方面同樣有所增加。為了應(yīng)對這種日益增加的復雜性，IP 開發(fā)人員采用了一流的驗證方法。即使使用這些方法，為 FPGA 開發(fā) IP 仍然會帶來典型 ASIC 設(shè)計人員可能不會遇到的獨特挑戰(zhàn)。

FPGA 開發(fā)提出了三個關(guān)鍵挑戰(zhàn)。一是 FPGA IP 通常是高度參數(shù)化的，這會產(chǎn)生大量的設(shè)計變體來進行測試。另一個問題是 FPGA IP 開發(fā)人員需要驗證一旦集成到用戶設(shè)計中就可以滿足時序要求。最后，為 FPGA 開發(fā)的 IP 比為其他平臺開發(fā)的 IP 更容易受到架構(gòu)變化的影響。驗證環(huán)境以盡可能少的工作量適應(yīng)這些架構(gòu)更改非常重要。

參數(shù)化特征

FPGA 的每門成本高于相應(yīng)的 ASIC，因此以 FPGA 為目標的設(shè)計人員有動力創(chuàng)建不消耗任何不必要資源的 IP。ASIC 將實現(xiàn)所有支持的功能，而 FPGA 可以選擇僅實現(xiàn)客戶需要的功能。因此，F(xiàn)PGA IP 可以而且應(yīng)該進行參數(shù)化，以便綜合去除不需要的邏輯。例如，如果不需要以太網(wǎng)統(tǒng)計收集功能，Xilinx 10 GbE MAC 內(nèi)核的大小將縮小約 25%，從而為其他邏輯釋放 FPGA 資源。

在確定將要參數(shù)化的內(nèi)容時，數(shù)據(jù)總線寬度、流水線級數(shù)和可選功能等因素是很好的考慮因素，因為它們允許設(shè)計人員或客戶在性能和消耗的資源之間進行權(quán)衡。可以通過參數(shù)化特定于平臺的功能（如 Block RAM 和 DSP 塊）來進行進一步的權(quán)衡，而不是使用結(jié)構(gòu)邏輯。

缺點是每個添加的參數(shù)都會創(chuàng)建另一個必須測試的排列。驗證工程師如何知道參數(shù)已針對所有值執(zhí)行？最好的方法是收集覆蓋率統(tǒng)計數(shù)據(jù)并分析模擬器生成的覆蓋率報告。例如，如果設(shè)計具有控制 IP 是使用 32 位還是 64 位數(shù)據(jù)路徑的數(shù)據(jù)寬度 （DW） 參數(shù)和控制是否使用額外流水線來幫助滿足時序要求的流水線 （PL） 參數(shù)，帶有簡單覆蓋點的基本覆蓋率報告可能會顯示 DW 和 PL 的值都被執(zhí)行了。但是，它不會顯示是否在沒有額外流水線的情況下測試了 64 位數(shù)據(jù)路徑。為了實現(xiàn)這一點，

對于大量參數(shù)，很快就會發(fā)現(xiàn)，如果允許隨機設(shè)置每個參數(shù)，那么命中每個排列將永遠持續(xù)下去。驗證工程師必須定義相關(guān)的參數(shù)排列子集，并且對最終客戶更有可能使用的參數(shù)排列權(quán)重很大。此外，應(yīng)該選擇更好地執(zhí)行設(shè)計的排列，例如那些導致完全 FIFO 條件或很少使用的狀態(tài)轉(zhuǎn)換的排列。約束隨機驗證非常適合此目的，因為它允許工具根據(jù)驗證者的約束隨機化參數(shù)值，并使用覆蓋率度量來查看是否命中了重要的排列。如果不是，則驗證者可以運行更多測試或更改約束值分布的權(quán)重。

驗證時間

FPGA IP 開發(fā)人員面臨的挑戰(zhàn)之一是確保 IP 一旦集成到客戶設(shè)計中就能夠滿足時序要求。由于難以對具有大參數(shù)空間的設(shè)計進行功能驗證，因此同樣難以理解參數(shù)對滿足時序能力的影響。開發(fā)人員面臨的另一個障礙是 IP 可能會與用戶設(shè)計的其他部分競爭 FPGA 架構(gòu)資源，這會使?jié)M足時序要求變得更加困難。

開發(fā)人員可以采用多種技術(shù)來幫助確保 IP 將繼續(xù)滿足時序要求，即使集成到用戶設(shè)計中也是如此。有代表性的示例設(shè)計很不錯，但不是必需的。如果示例設(shè)計不可用，請雙重注冊將進入 FPGA 架構(gòu)的所有 I/O。芯片上或關(guān)閉的 I/O 應(yīng)連接到適當?shù)奈恢谩?/p>

一旦設(shè)計到位，下一步就是在目標 FPGA 架構(gòu)中實現(xiàn)設(shè)計。作為測試過程的一部分，將 IP 時鐘頻率過度約束 15%。此外，向 IP 添加一個區(qū)域約束，使其被約束到 FPGA 架構(gòu)的一個區(qū)域，該區(qū)域不會比其最小布局需求大很多，如圖 1 所示。這將模擬 IP 集成到用戶設(shè)計。

圖 1： Xilinx PlanAhead 工具中的 IP 塊被限制在芯片的一個小區(qū)域內(nèi)，以在將 IP 集成到設(shè)計中時模擬擁塞。

最后一步是確保不同的參數(shù)設(shè)置不會對滿足時序的能力產(chǎn)生不利影響。確定最有可能對時序收斂產(chǎn)生影響的關(guān)鍵參數(shù)。隨機化識別的參數(shù)，以區(qū)域約束和更高的時鐘頻率運行，并確保在 IP 目標的所有 FPGA 器件中仍然可以滿足時序要求。開發(fā)人員運行的參數(shù)組合越多，他們對 IP 即使在最困難的客戶環(huán)境中也能滿足時序要求的信心就越大。

將測試場景與實現(xiàn)分離

設(shè)計人員可能需要在設(shè)計周期后期更改內(nèi)核的延遲或數(shù)據(jù)路徑寬度，作為對布局和布線的響應(yīng)，表明設(shè)計將難以滿足時序要求，或者利用更快、更快速的 FPGA /或具有不同數(shù)量的資源。如果驗證工程師沒有預料到這種變化（例如，測試場景假定一個固定的延遲），那么可能需要更改大量測試來編寫新的預期。一個設(shè)計良好的驗證環(huán)境將需要很少的更改來響應(yīng)這一點。

將測試臺環(huán)境與被測設(shè)備 （DUT） 實現(xiàn)細節(jié)分離的最佳方法之一是使用記分板，如圖 2 所示。測試場景將預期結(jié)果（例如，數(shù)據(jù)包）推送到記分板中，當 DUT 生成數(shù)據(jù)時，測試臺會自動將其與記分板版本進行比較。當 DUT 產(chǎn)生數(shù)據(jù)時，不需要關(guān)心測試場景，只需要關(guān)心它產(chǎn)生了什么數(shù)據(jù)。

圖 2：使用記分板是將測試臺環(huán)境與被測設(shè)備分離的最佳方法之一。

此外，如果數(shù)據(jù)路徑的寬度發(fā)生變化，并且 DUT 產(chǎn)生的數(shù)據(jù)被劃分為幾個額外的周期（或統(tǒng)一為更少的周期），那么記分板會在測試臺中提供一個點，其中與該預期的比較可以是改變了。在測試場景中對期望進行硬編碼的替代方法要求在 DUT 的數(shù)據(jù)寬度或數(shù)據(jù)格式發(fā)生變化時更新每個場景。

需要對端口驅(qū)動程序和監(jiān)視器進行編碼以預測接口變化。當需要快速適應(yīng)時，允許這些模塊連接到不同數(shù)據(jù)寬度的端口和接口的前期工作可以在設(shè)計和驗證周期的后期獲得回報。

FPGA IP，已驗證

在過去幾年中，可用于 FPGA 的 IP 數(shù)量大幅增加。為了具有競爭力，供應(yīng)商必須始終如一地滿足對質(zhì)量的期望。由于 FPGA IP 的上市時間需求變得越來越迫切，供應(yīng)商必須盡一切可能防止交付的內(nèi)核出現(xiàn)可能拖慢客戶速度的問題。這意味著必須采用經(jīng)過深思熟慮的、能夠快速適應(yīng)的驗證策略。

作者：Jason Lawley，Jeremy Goolsby

審核編輯：郭婷