隨著FPGA器件體積和復(fù)雜性的不斷增加，設(shè)計(jì)工程師越來越需要有效的驗(yàn)證方。時(shí)序仿真可以是一種能發(fā)現(xiàn)最多問題的驗(yàn)證方法，但對許多設(shè)計(jì)來說，它 常常是最困難和費(fèi)時(shí)的方法之一。過去，采用標(biāo)準(zhǔn)臺(tái)式計(jì)算機(jī)的時(shí)序仿真是以小時(shí)或分鐘計(jì)算的，但現(xiàn)在對某些項(xiàng)目來說，在要求采用高性能64位服務(wù)器的情況下，其測試時(shí)間卻要幾天甚至幾周。這樣，這種方法首先消弭了采用FPGA帶來的上市時(shí)間和實(shí)施成本方面的好處。

FPGA設(shè)計(jì)和驗(yàn)證工程師當(dāng)今面臨的最大挑戰(zhàn)之一是時(shí)間和資源制約。隨著FPGA在速度、密度和復(fù)雜性方面的增加，為完成一個(gè)完整時(shí)序驗(yàn)證，不僅對人力也對計(jì)算機(jī)處理器和存儲(chǔ)器提出了更多更高的要求。另外，對設(shè)計(jì)和驗(yàn)證工程師來說(許多情況可能是同一個(gè)人)，這為在更短的時(shí)限內(nèi)，以更大信心對當(dāng)今的FPGA設(shè)計(jì)在第一次就可實(shí)施徹底成功驗(yàn)證提出了更艱巨的挑戰(zhàn)。

時(shí)序仿真的重要性

為確保設(shè)計(jì)可以工作及能連續(xù)穩(wěn)定工作，當(dāng)今的FPGA既需要功能又需要時(shí)序仿真。FPGA設(shè)計(jì)的復(fù)雜性在增加，而傳統(tǒng)的驗(yàn)證方法論又不再有效。 過去，在FPGA設(shè)計(jì)流中，模擬并非一個(gè)重要階段。但眼下，卻成為最關(guān)鍵的步驟之一。當(dāng)采用類似Xilinx的Virtex-5 FPGA Family等更先進(jìn)FPGA設(shè)計(jì)時(shí)，時(shí)序仿真就變得尤其重要。

傳統(tǒng)的FPGA驗(yàn)證方法是：

1.功能模擬

在驗(yàn)證過程中，功能模擬是個(gè)非常重要的部分，但不應(yīng)是唯一部分。當(dāng)進(jìn)行功能模擬時(shí)，它只對RTL設(shè)計(jì)的功能性進(jìn)行測試。它不包括任何時(shí)序信息，它也不考慮由實(shí)現(xiàn)和優(yōu)化對原初設(shè)計(jì)造成的改變。

2. 靜態(tài)時(shí)序分析/形式驗(yàn)證

許多工程師認(rèn)為為校驗(yàn)設(shè)計(jì)是否滿足時(shí)序要求，只需進(jìn)行靜態(tài)時(shí)序分析。將此作為唯一時(shí)序分析方法有很多缺陷。靜態(tài)分析無法發(fā)現(xiàn)當(dāng)設(shè)計(jì)動(dòng)態(tài)運(yùn)行時(shí)， 才能發(fā)現(xiàn)的任何問題。靜態(tài)分析僅能顯示該設(shè)計(jì)作為整體是否可滿足設(shè)置和保持要求且一般僅達(dá)到施加的時(shí)序約束的水平。在實(shí)際系統(tǒng)中，動(dòng)態(tài)因素可造成FPGA 的時(shí)序違規(guī)。例子之一是塊RAM(Block Ram)沖突。在FPGA器件中，隨著雙端口塊RAM(Dual Port Block Rams)的引入，應(yīng)留心避免同時(shí)讀/寫同一個(gè)區(qū)域，否則，讀取的數(shù)據(jù)會(huì)不正確。靜態(tài)分析工具將永遠(yuǎn)無法發(fā)現(xiàn)該問題。類似，若有被誤讀的時(shí)間規(guī)范 (timespec)，靜態(tài)時(shí)序分析也將難以發(fā)現(xiàn)此問題。

3. 在系統(tǒng)測試

實(shí)際上，每位工程師都依賴該方法進(jìn)行最終測試。若設(shè)計(jì)能在板上工作且通過了各種測試，則該設(shè)計(jì)就將被發(fā)布。這肯定是個(gè)非常好的測試，但它也許沒 能發(fā)現(xiàn)全部問題。有時(shí)，在一些邊界情況(corner-case)被發(fā)現(xiàn)前，設(shè)計(jì)需運(yùn)行相當(dāng)長的時(shí)間。諸如時(shí)序違約等問題并非在所有芯片中都以相同方式顯 露出來。當(dāng)發(fā)現(xiàn)這些問題時(shí)，設(shè)計(jì)通常已交到用戶手中。這意味著為找出此問題所導(dǎo)致的高成本、停工期和挫折感。為能正確完成在系統(tǒng)測試，必須清除全部硬件故 障，其中包括與SSO相關(guān)的問題、交叉干擾以及其它與板卡關(guān)聯(lián)的問題。若在啟動(dòng)在系統(tǒng)測試前，有需要連接的外部接口，則將延緩產(chǎn)品的上市時(shí)間。

從上可知，傳統(tǒng)的驗(yàn)證方法不足以進(jìn)行完整的系統(tǒng)驗(yàn)證。有充足理由進(jìn)行動(dòng)態(tài)時(shí)序分析。

時(shí)序仿真是可在其中進(jìn)行動(dòng)態(tài)分析的唯一方法。許多工程師有令人信服的理由拒絕進(jìn)行時(shí)序分析。一些主要擔(dān)心問題是：
它很費(fèi)時(shí)；
為執(zhí)行驗(yàn)證，需要大量存儲(chǔ)器和處理器資源；
為沒有辦法重復(fù)使用取自功能模擬的測試基準(zhǔn)，必須創(chuàng)制新測試基準(zhǔn)；
為因?yàn)檎麄€(gè)網(wǎng)絡(luò)表是展開的，所以設(shè)計(jì)調(diào)試成為一件瑣事，另外，沒辦法及時(shí)定位問題所在；
為時(shí)序仿真顯示最壞情況的數(shù)量，設(shè)計(jì)本身可能足夠超脫，不至于如此興師動(dòng)眾；
為并非所有子模塊都是在一個(gè)環(huán)境下進(jìn)行編程的；
為無法將在各個(gè)不同場所編程的部分分開，因?yàn)檫@些部分的設(shè)計(jì)師應(yīng)是那些為能進(jìn)行驗(yàn)證從而對設(shè)計(jì)有更深刻把握的人。

這些都是正當(dāng)?shù)年P(guān)注，這也就是為什么下一節(jié)將討論工程師能做些什么以克服其中某些問題的原因。

在時(shí)序仿真中采用Netgen以獲得精準(zhǔn)結(jié)果

Xilinx提出了一種革命性方法以從Netgen中得到用于動(dòng)態(tài)分析匹配的靜態(tài)時(shí)序分析數(shù)和時(shí)序數(shù)。與-pcf 開關(guān)一起運(yùn)行Netgen并指向一個(gè)有效PCF文件將確保得自Trce和Netgen的數(shù)將互相匹配。

在時(shí)序計(jì)算時(shí)，所有新Xilinx架構(gòu)都利用了相對最小數(shù)(Relative Minimums)的好處。利用相對最小數(shù)意味著在設(shè)置計(jì)算以及相反的保持計(jì)算時(shí)，將采用最大時(shí)鐘延時(shí)和最小數(shù)據(jù)延時(shí)。目前的模擬器不支持使用相同SDF 文件中分別取自MIN域和MAX域的數(shù)?；谠撓拗?，Xilinx需要兩個(gè)不同的模擬-- 一個(gè)用于設(shè)置，另一個(gè)用于保持。