本文選題：三模冗余　切入點(diǎn)：故障注入　出處：《計(jì)算機(jī)測量與控制》2014年01期 　論文類型：期刊論文

【摘要】：從系統(tǒng)驗(yàn)證和FPGA物理原型驗(yàn)證兩個(gè)方面,分析了TMR結(jié)構(gòu)的注錯(cuò)方式及其驗(yàn)證方法;通過在TMR結(jié)構(gòu)中嵌入注錯(cuò)邏輯,并將所有組TMR寄存器的注錯(cuò)控制信號統(tǒng)一命名,作為系統(tǒng)的輸入,根據(jù)隨機(jī)生成的注錯(cuò)信息,索引對應(yīng)的TMR寄存器,可實(shí)現(xiàn)向?qū)τ脩敉该鞯娜我釺MR組中注錯(cuò);將每組TMR寄存器的參考點(diǎn)和觀測點(diǎn)引到設(shè)計(jì)的頂層統(tǒng)一命名,作為待測系統(tǒng)的輸出,可適時(shí)觀測對應(yīng)TMR寄存器組的注錯(cuò)情況,分析故障電路的行為;為了解決調(diào)試機(jī)與FPGA板連接的引腳數(shù)受限的問題,特別設(shè)計(jì)了注錯(cuò)控制器和故障收集器;根據(jù)具體的注錯(cuò)情況,可編寫對應(yīng)的測試程序,驗(yàn)證設(shè)計(jì)的正確性,實(shí)驗(yàn)結(jié)果表明,SOC系統(tǒng)的錯(cuò)誤故障率約占18.6%;為系統(tǒng)的可靠性評估提供了依據(jù)。
[Abstract]:From the two aspects of system verification and FPGA physical prototype verification, this paper analyzes the error-injection mode and verification method of TMR structure, by embedding the error-injection logic into the TMR structure, and naming the error-injection control signals of all groups of TMR registers. As the input of the system, according to the randomly generated error-annotating information and the corresponding TMR register, it can be realized to annotate errors in any TMR group that is transparent to the user, and the reference points and observation points of each group of TMR registers can be led to the top level of the design. As the output of the system to be tested, the error-injection situation corresponding to the TMR register group can be observed in time, and the behavior of the fault circuit can be analyzed, in order to solve the problem of the limited number of pins connected between the debugging machine and the FPGA board, the error injection controller and the fault collector are specially designed. According to the specific case of fault injection, the corresponding test program can be written to verify the correctness of the design. The experimental results show that the failure rate of SOC system is about 18.6, which provides the basis for the reliability evaluation of the system.
【作者單位】： 西安微電子技術(shù)研究所;
【基金】：國家863計(jì)劃項(xiàng)目(2011AA120201)
【分類號】：TN47;TP302.8

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 朱鵬,張平;基于單片機(jī)的故障注入系統(tǒng)[J];計(jì)算機(jī)測量與控制;2004年10期

2 王揮;潘海燕;沙李鵬;;嵌入式星載計(jì)算機(jī)故障注入系統(tǒng)[J];計(jì)算機(jī)測量與控制;2011年10期

【共引文獻(xiàn)】

相關(guān)期刊論文 前1條

1 王培元;吳國慶;;雷達(dá)檢測平臺故障注入系統(tǒng)研究與設(shè)計(jì)[J];現(xiàn)代電子技術(shù);2010年05期

相關(guān)博士學(xué)位論文 前2條

1 李愛國;分布式軟件故障注入及軟件脆弱點(diǎn)檢測方法研究[D];哈爾濱工業(yè)大學(xué);2007年

2 高星;空間機(jī)器人軟件錯(cuò)誤檢測技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2009年

相關(guān)碩士學(xué)位論文 前7條

1 劉璧怡;Linux操作系統(tǒng)內(nèi)核可靠性評測方法研究[D];哈爾濱工業(yè)大學(xué);2011年

2 李毅;星載計(jì)算機(jī)COTS技術(shù)下抗SEL輻射效應(yīng)研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2006年

3 石晶;分布式系統(tǒng)的故障注入方法研究[D];哈爾濱工業(yè)大學(xué);2008年

4 劉宇楠;基于事件注入的可靠性評測方法的設(shè)計(jì)與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2009年

5 呂文娟;軟件故障注入及軟件脆弱點(diǎn)檢測方法研究[D];哈爾濱工業(yè)大學(xué);2009年

6 唐艷;基于故障注入的車載ATP系統(tǒng)測試設(shè)計(jì)[D];西南交通大學(xué);2013年

7 楊森彬;航天總線容錯(cuò)性能測試平臺的研究與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2013年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 楊華舒,楮福濤;單片計(jì)算機(jī)系統(tǒng)抗干擾的軟件途徑[J];電子技術(shù)應(yīng)用;2001年03期

2 溫熙森,劉冠軍,黎瓊煒,易曉山;基于邊界掃描的板級BIT技術(shù)研究現(xiàn)狀及發(fā)展趨勢[J];航空計(jì)測技術(shù);1999年03期

3 王麗君;空間電子學(xué)的單粒子效應(yīng)[J];空間電子技術(shù);1998年04期

4 王建瑩,孫峻朝,李運(yùn)策,楊孝宗;FTT-1:一個(gè)基于硬件的故障注入器的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與設(shè)計(jì);1998年04期

5 隋厚堂;幾種256Kbit SRAM芯片的單粒子翻轉(zhuǎn)規(guī)律[J];中國空間科學(xué)技術(shù);1999年01期

相關(guān)會議論文 前1條

1 譚蘭芳;譚慶平;徐建軍;李建立;;面向星載容錯(cuò)系統(tǒng)測評的故障注入技術(shù)研究及算法[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會議論文集（上）[C];2008年

相關(guān)碩士學(xué)位論文 前1條

1 朱鵬;星載SAR控制軟件故障注入技術(shù)研究[D];中國科學(xué)院研究生院（電子學(xué)研究所）;2004年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 董劍,曲峰,劉宏偉,崔剛;嵌入式故障注入器HFI-4的研究與設(shè)計(jì)[J];小型微型計(jì)算機(jī)系統(tǒng);2003年12期

2 朱秋巖;王祖林;郭旭靜;;一種SRAM型FPGA單粒子效應(yīng)故障注入方法[J];電子質(zhì)量;2011年07期

3 郭琪;祝剛;張家峰;黃向華;;后驅(qū)動故障注入電路[J];電子測量技術(shù);2004年02期

4 呂達(dá);吳飛;陸華;;賽靈思靜態(tài)隨機(jī)存儲器型FPGA單粒子翻轉(zhuǎn)檢測[J];航天器工程;2010年06期

5 謝勇,葉以正,王進(jìn)祥;Lilac SoC的FPGA實(shí)現(xiàn)[J];軍民兩用技術(shù)與產(chǎn)品;2003年09期

6 張弘;楊莉;李玉山;;運(yùn)動視覺處理SOC可測性設(shè)計(jì)與實(shí)現(xiàn)[J];電子測量與儀器學(xué)報(bào);2004年02期

7 張貽雄,劉鵬,王維東,蔣志迪;媒體處理系統(tǒng)芯片中的OSD單元設(shè)計(jì)及應(yīng)用[J];電視技術(shù);2005年08期

8 鄭宏超;范隆;岳素格;劉立全;;基于庫替換技術(shù)的單粒子效應(yīng)故障注入仿真[J];微電子學(xué)與計(jì)算機(jī);2009年07期

9 韓俊剛;系統(tǒng)級芯片設(shè)計(jì)語言和驗(yàn)證語言的發(fā)展[J];現(xiàn)代電子技術(shù);2005年03期

10 于宗光;魏敬和;王國章;;SoC和FPGA技術(shù)未來的發(fā)展趨勢[J];電子與封裝;2006年03期

相關(guān)會議論文 前10條

1 田增;朱英;巨鵬錦;曹華;;基于VPI的故障注入驗(yàn)證環(huán)境[A];第十五屆計(jì)算機(jī)工程與工藝年會暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

2 齊鑫;馮文全;;基于動態(tài)重配置的SEU故障檢測與修復(fù)系統(tǒng)的設(shè)計(jì)[A];中國通信學(xué)會第六屆學(xué)術(shù)年會論文集（中）[C];2009年

3 王忠明;姚志斌;郭紅霞;呂敏;;SRAM型FPGA單粒子故障注入方法的加速器試驗(yàn)驗(yàn)證[A];第十四屆全國核物理大會暨第十屆會員代表大會論文集[C];2010年

4 吳鈴鈴;周干民;何偉;高明倫;;IP軟核的形式化驗(yàn)證[A];全國第十五屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用學(xué)術(shù)會議論文集[C];2003年

5 錢軍;左德承;苗百利;楊孝宗;;基于JTAG的故障注入研究[A];第五屆中國測試學(xué)術(shù)會議論文集[C];2008年

6 田文波;章斌;;基于SRAM的XILINX FPGA單粒子翻轉(zhuǎn)的測試和試驗(yàn)方法研究[A];第十屆全國抗輻射電子學(xué)與電磁脈沖學(xué)術(shù)年會論文集[C];2009年

7 莊圣賢;;模擬及混合信號IC設(shè)計(jì)自動化的發(fā)展現(xiàn)狀與趨勢[A];中國自動化學(xué)會、中國儀器儀表學(xué)會2004年西南三省一市自動化與儀器儀表學(xué)術(shù)年會論文集[C];2004年

8 韓可;鄧中亮;呂良;;基于AMBA協(xié)議的SOC測試控制器設(shè)計(jì)[A];2007'中國儀器儀表與測控技術(shù)交流大會論文集（一）[C];2007年

9 程偉;崔小樂;;基于蟻群算法的SOC測試存取機(jī)制和測試殼聯(lián)合優(yōu)化[A];第五屆中國測試學(xué)術(shù)會議論文集[C];2008年

10 邢克飛;何偉;周永彬;楊俊;;SRAM型FPGA單粒子翻轉(zhuǎn)的高效無中斷檢測與修復(fù)技術(shù)[A];第二屆中國衛(wèi)星導(dǎo)航學(xué)術(shù)年會電子文集[C];2011年

相關(guān)重要報(bào)紙文章 前10條

1 謝幸芬 DigiTimes;羅沐于福岡新設(shè)系統(tǒng)芯片生產(chǎn)地[N];電子資訊時(shí)報(bào);2007年

2 記者：向杰 實(shí)習(xí)生：張涵雪;突破!在50納米的硅片空間[N];科技日報(bào);2006年

3 記者　 安勇龍;展訊：勇挑重?fù)?dān) 矢志創(chuàng)新[N];中國電子報(bào);2007年

4 李映;GPS芯片：國外廠商加緊圈地 國內(nèi)廠商攻守有道[N];中國電子報(bào);2008年

5 孫麗嘉;藍(lán)光影碟機(jī)伺服功能首次單芯片化[N];中國電子報(bào);2008年

6 梁燕蕙 DigiTimes;瑞薩將以65納米工藝量產(chǎn)手機(jī)用系統(tǒng)芯片[N];電子資訊時(shí)報(bào);2007年

7 陳先勇;SoC的未來之路[N];計(jì)算機(jī)世界;2007年

8 劉永;SoC與SiP共存態(tài)勢日趨明顯[N];電子資訊時(shí)報(bào);2008年

9 記者　向杰 實(shí)習(xí)生 張涵雪;芯片在“凈土”中誕生[N];科技日報(bào);2006年

10 ;展訊：“中國芯”奏響創(chuàng)新樂章[N];中國電子報(bào);2008年

相關(guān)博士學(xué)位論文 前10條

1 王忠明;SRAM型FPGA的單粒子效應(yīng)評估技術(shù)研究[D];清華大學(xué);2011年

2 彭藝頻;面向多媒體應(yīng)用的軟硬件劃分方法研究[D];東南大學(xué);2005年

3 韓曉霞;SOC中的連線模型與面向布局布線的設(shè)計(jì)方法及時(shí)延/功耗優(yōu)化方法研究[D];浙江大學(xué);2005年

4 吳旭凡;系統(tǒng)芯片中片上總線結(jié)構(gòu)的性能評價(jià)研究[D];東南大學(xué);2006年

5 李杰;低功耗內(nèi)建自測試（BIST）設(shè)計(jì)技術(shù)的研究[D];東南大學(xué);2004年

6 陸思安;可復(fù)用IP核以及系統(tǒng)芯片SOC的測試結(jié)構(gòu)研究[D];浙江大學(xué);2003年

7 荊元利;基于片上網(wǎng)絡(luò)的系統(tǒng)芯片研究[D];西北工業(yè)大學(xué);2005年

8 劉必慰;集成電路單粒子效應(yīng)建模與加固方法研究[D];國防科學(xué)技術(shù)大學(xué);2009年

9 余金山;模型驅(qū)動的SoC系統(tǒng)級功能驗(yàn)證關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2007年

10 景乃鋒;面向SRAM型FPGA軟錯(cuò)誤的可靠性評估與容錯(cuò)算法研究[D];上海交通大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 鄧先坤;SRAM型FPGASEU故障注入系統(tǒng)設(shè)計(jì)[D];哈爾濱工業(yè)大學(xué);2013年

2 黃錦杰;抗單粒子翻轉(zhuǎn)SRAM-based FPGA測試系統(tǒng)的研究與設(shè)計(jì)[D];復(fù)旦大學(xué);2011年

3 戴然;單粒子翻轉(zhuǎn)效應(yīng)的模擬和驗(yàn)證技術(shù)研究[D];電子科技大學(xué);2013年

4 江麗君;數(shù)字集成電路故障模型研究及故障注入平臺設(shè)計(jì)[D];哈爾濱工業(yè)大學(xué);2013年

5 楊依忠;IP核及其集成技術(shù)的研究[D];合肥工業(yè)大學(xué);2004年

6 孫鵬;抗單粒子翻轉(zhuǎn)SRAM-based FPGA測試系統(tǒng)研究與設(shè)計(jì)[D];復(fù)旦大學(xué);2010年

7 寧新權(quán);基于LEON2的高可靠高性能處理器的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2012年

8 闕宇峻;面向系統(tǒng)芯片的軟硬件協(xié)同設(shè)計(jì)平臺VXP（Virtual Executable Platform）的設(shè)計(jì)[D];華東師范大學(xué);2006年

9 于靜;系統(tǒng)芯片SoC測試數(shù)據(jù)壓縮方法研究[D];合肥工業(yè)大學(xué);2006年

10 何益百;輻射效應(yīng)地面試驗(yàn)技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2010年

，

本文編號：1647556