一種抗SEU存儲器電路的FPGA設(shè)計

O 引言
隨著我國航空航天事業(yè)的迅猛發(fā)展，衛(wèi)星的應(yīng)用越來越廣泛。然而，太空環(huán)境復(fù)雜多變，其中存在著各種宇宙射線與高能帶電粒子，它們對運行于其中的電子器件會產(chǎn)生各種輻射效應(yīng)。輻射效應(yīng)對電子器件的影響不可忽視，因為輻射會使器件的性能參數(shù)發(fā)生退化，以至失效，從而影響衛(wèi)星的可靠運行，縮短衛(wèi)星的使用壽命。輻射效應(yīng)對電子器件的影響很多，其中最主要的有總劑量效應(yīng)(TID)和單粒子效應(yīng)(S-EE)。SEE按產(chǎn)生的影響主要包括單粒子翻轉(zhuǎn)(SEU)、單粒子閂鎖(SEL)和單粒子燒毀(SEB)等三種類型，其中以SEU最為常見。在各種輻射效應(yīng)當(dāng)中，存儲器對SEU最為敏感，所以，對存儲器的抗輻射設(shè)計首先要考慮的就是抗SEU設(shè)計。
事實上，不同的空間環(huán)境和應(yīng)用需求，對存儲器的數(shù)量與質(zhì)量也有不同的要求。例如：在上傳指令與下載星載儀器儀表的狀態(tài)時，要求數(shù)據(jù)有很高的可靠性，此時對內(nèi)存容量則沒有特別的要求；而在處理某些用途的圖像數(shù)據(jù)時，對數(shù)據(jù)可靠性的要求則相應(yīng)較低，此時則需要較大的內(nèi)存容量。所以在采用具體的抗SEU方法時，也要因其不同情況而做出適合的選擇。
本文將采用擴(kuò)展?jié)h明碼編碼(Extended Hamming Code)與三模冗余(Triple Modular Redundancy，TMR)相結(jié)合的方法，并利用二者檢錯糾錯的不同特點，來對SRAM進(jìn)行檢錯糾錯模式可調(diào)的抗SEU設(shè)計。這樣既可實現(xiàn)存儲器的抗SEU設(shè)計。又可滿足對存儲器使用靈活性的要求。

1 擴(kuò)展?jié)h明碼與TMR檢錯糾錯原理
1．1 擴(kuò)展?jié)h明碼檢錯糾錯原理
擴(kuò)展?jié)h明碼是一種常用的能檢測兩位錯同時能糾正一位錯的編碼方法。它是在漢明碼的基礎(chǔ)上．在碼字上再加入一個對所有碼元都進(jìn)行校驗的校驗位而得到的，故稱為擴(kuò)展?jié)h明碼。
擴(kuò)展?jié)h明碼是線性分組碼的一種，其信息位和監(jiān)督位的關(guān)聯(lián)可由一組線性代數(shù)方程組表示。(n，k)線性分組碼的編碼就是去建立由r(其中r=n-k)個生成冗余位的方程式構(gòu)成的方程組，再由此方程組轉(zhuǎn)化為kxn的生成矩陣G。編碼時，可將信息位向量(k維)乘以生成矩陣G，從而得到碼字向量(n維)，如下式所示：

將式(1)表示的方程組作移位變換，可以得到式(2)，通常稱H為監(jiān)督矩陣。

解碼時，通過監(jiān)督矩陣H與讀出的碼字向量C的乘積結(jié)果可判斷該碼字是否出錯。若讀出的碼字向量C乘上監(jiān)督矩陣H后得到一個零向量，則表示沒有出錯；否則表示碼字在存儲之后受到了單粒子效應(yīng)的影響，有錯誤發(fā)生。通常將監(jiān)督矩陣與讀出的碼字向量C的乘積記作S，稱為校驗子。當(dāng)碼字中某一位發(fā)生錯誤時，就會得到唯一的S向量，該向量只與碼字出錯的位置有關(guān)，而與碼字C無關(guān)。通過S向量可以定位出錯的位置，并對出錯數(shù)據(jù)進(jìn)行改正。
作為線性分組碼的一種，擴(kuò)展?jié)h明碼的分組編碼總長為2r位，信息位長度為2r-1-r位，即(2r，2r-l-r)擴(kuò)展?jié)h明碼。本設(shè)計采用了16位RAM存儲器，所以對應(yīng)使用(22，16)擴(kuò)展?jié)h明碼。
1．2 TMR檢錯糾錯原理
TMR是一種常見的硬件冗余技術(shù)。它的原理是在相同的一組硬件單元上同時發(fā)生錯誤的概率要比在單一硬件單元上發(fā)生錯誤的概率小。它的基本方法是將所需容錯的硬件單元增加到三倍或更多，并將各個單元的輸出連接到一個表決器上，由表決器選擇所有硬件單元中的絕大多數(shù)輸出值作為整體的輸出值。圖1所示為三模冗余系統(tǒng)結(jié)構(gòu)圖。

圖1中，A1、A2、A3三個模塊同時執(zhí)行同樣的操作，并將其輸出送給表決器，然后由表決器對接收到的三路數(shù)據(jù)進(jìn)行比較。如果三個模塊同時給出三個相同的輸出，則表決器輸出任何一路作為正確輸出。如果其中任一模塊出錯，其輸出不同于其它兩個模塊，則表決器依然輸出正確結(jié)果。如果有兩個模塊同時出錯，且變成相同的狀態(tài)，表決器則會誤認(rèn)為這是正確的結(jié)果并輸出，不過這種情況的出現(xiàn)雖然可能，但概率非常小。當(dāng)然，如果這兩個模塊同時出錯，但出錯狀態(tài)不同，則表決器此時將無法做出選擇，但可以產(chǎn)生中斷。

2 內(nèi)存配置方案
通過上面對擴(kuò)展?jié)h明碼與TMR兩種檢錯糾錯方式的介紹，可以發(fā)現(xiàn)其二者各有優(yōu)勢，分別適用于不同的環(huán)境條件和應(yīng)用需求。但是，這兩種方案對于內(nèi)存配置的要求是不同的，所以在對整個電路的設(shè)計之前，首先要對內(nèi)存作如下配置。
本設(shè)計中使用了3片16bit的SRAM。并分別采用(22，16)漢明碼和TMR兩種檢錯糾錯方法。對于(22，16)，一般采用(16+8)位的存儲器來實現(xiàn)，而TMR，則采用16位的存儲器來實現(xiàn)。若要支持這兩種方法，則必須首先為存儲器設(shè)計一種特別的內(nèi)存配置方式。本設(shè)計采用如圖2所示的內(nèi)存配置方案。