基于SRAM的FPGA容錯技術(shù)

　　廣泛應(yīng)用于民用和工業(yè)領(lǐng)域的基于SRAM的FPGA，因其邏輯集成度高、使用方便、開發(fā)成本低且能夠被重新編程，正逐步應(yīng)用于空間領(lǐng)域。空間領(lǐng)域的應(yīng)用除了要求其具有很高的可靠性以外，抗輻射是必須重點考慮的問題。本書針對這種需求，尤其是針對空間環(huán)境中單粒子效應(yīng)的影響，詳細(xì)介紹了基于SRAM的FPGA這種可編程結(jié)構(gòu)的多種容錯技術(shù)和方法。本書提及的技術(shù)和方法多是從實際容錯系統(tǒng)中總結(jié)出來的，并進(jìn)行了歸類、分析和總結(jié)，同時附有參考文獻(xiàn)。內(nèi)容詳盡豐富，實踐性和針對性強(qiáng)，可作為從事容錯計算和空間電子系統(tǒng)研究和設(shè)計人員的參考用書。

　　費(fèi)爾南達(dá)·古斯芒·德·利馬·卡斯騰斯密得，是位于巴西阿雷格里港（Porlto Alegre）的南大河洲聯(lián)邦大學(xué)（UFRGS）計算機(jī)科學(xué)系的教授。1997年，她從巴西阿雷格里港南大河洲聯(lián)邦大學(xué)獲電氣工程學(xué)學(xué)士學(xué)位，1999年和2003年分別獲計算機(jī)科學(xué)碩士學(xué)位和微電子學(xué)博士學(xué)位。1999年，她曾工作于法國的格勒諾布爾（Grenoble）國家理工學(xué)院（INPG）；2001年，工作于美國圣何塞（San Jose）的賽靈思（Xilinx）公司。她的研究興趣包括超大規(guī)模集成電路（VLSI）測試和設(shè)計、故障效應(yīng)、容錯技術(shù)和可編程結(jié)構(gòu)。她是美國電氣和電子工程師協(xié)會（IEEE）的會員。路易吉·卡羅，1962年出生于巴西的阿雷格里港，分別于1985年和1989年從巴西南大河洲聯(lián)邦大學(xué)獲電氣工程學(xué)學(xué)士和碩士學(xué)位。1989年～1991年，他就職于意大利阿格雷特（Agrate）的ST微電子研發(fā)小組，1996年獲巴西南大河洲聯(lián)邦大學(xué)計算機(jī)科學(xué)系的博士學(xué)位。目前他是南大河洲聯(lián)邦大學(xué)電氣工程系講師，負(fù)責(zé)向研究生和本科生講授數(shù)字系統(tǒng)設(shè)計和數(shù)字信號處理學(xué)科。他也是該大學(xué)計算機(jī)科學(xué)研究生計劃的成員，負(fù)責(zé)嵌入式系統(tǒng)、數(shù)字信號處理和VLSI設(shè)計的課程。他主要的研究興趣包括混合信號設(shè)計、數(shù)字信號處理、混合信號和模擬測試及快速系統(tǒng)原型。他已針對這些主題發(fā)表了90多篇專業(yè)論文，著有《數(shù)字系統(tǒng)設(shè)計和原型》（葡萄牙語）一書。里卡多·賴斯，是巴西南大河洲聯(lián)邦大學(xué)信息研究所教授。1978年，他從巴西阿雷格里港南大河洲聯(lián)邦大學(xué)獲電氣工程學(xué)學(xué)士學(xué)位。1983年，他從法國格勒諾布爾國家理工學(xué)院獲計算機(jī)科學(xué)和微電子系的博士學(xué)位。他的主要研究興趣包括VLSI設(shè)計及CAD、物理設(shè)計、設(shè)計方法學(xué)和容錯技術(shù)。他在期刊和會議上發(fā)表專業(yè)論文200多篇，同時出版了一些專著。他曾任巴西計算機(jī)學(xué)會的會長，巴西微電子學(xué)會的副會長。他是國際信息處理聯(lián)盟（IFIP）的副主席曾獲IFIP的銀質(zhì)獎?wù)?。他是《集成電路及系統(tǒng)》雜志（JICS）的主編。里卡多也是IEEE計算機(jī)設(shè)計與測試的拉美聯(lián)絡(luò)員。他還是幾個學(xué)術(shù)會議的“組織和程序”委員會委員，是“集成電路及系統(tǒng)設(shè)計研討會”（SBCCI）系列論壇的發(fā)起人之一。他是IEEE的會員。