一種面向指令存儲(chǔ)器的可靠性評(píng)估方法
【專利摘要】本發(fā)明提供一種面向指令存儲(chǔ)器的可靠性評(píng)估方法，通過統(tǒng)計(jì)和分析編譯后應(yīng)用程序中的指令類型及尋址模式，可用于各類應(yīng)用程序的可靠性統(tǒng)計(jì)分析。本發(fā)明根據(jù)指令集體系結(jié)構(gòu)ISA的定義，將指令字的二進(jìn)制編碼分為有效位和無效位兩類，并且基于指令無效位發(fā)生翻轉(zhuǎn)時(shí)不影響可靠性這一客觀事實(shí)進(jìn)行逐條指令的可靠性建模，定義了可靠性為未發(fā)生錯(cuò)誤翻轉(zhuǎn)，和/或所有的錯(cuò)誤翻轉(zhuǎn)皆發(fā)生在無效位中，從而在可靠性建模過程中考慮了當(dāng)指令無效位發(fā)生翻轉(zhuǎn)并不影響指令可靠性的客觀事實(shí)，最后歸一化后的程序指令可靠性進(jìn)行指令存儲(chǔ)器的MTTF評(píng)估。同時(shí)采用以應(yīng)用程序中所有指令為基準(zhǔn)對(duì)可靠性進(jìn)行歸一化處理，充分衡量高頻指令對(duì)指令存儲(chǔ)器MTTF的影響。
【專利說明】
-種面向指令存儲(chǔ)器的可靠性評(píng)估方法
技術(shù)領(lǐng)域
[0001] 本發(fā)明屬于存儲(chǔ)器可靠性領(lǐng)域，設(shè)及一種存儲(chǔ)器可靠性的評(píng)估方法，具體為一種 面向指令存儲(chǔ)器的可靠性評(píng)估方法。
【背景技術(shù)】
[0002] 存儲(chǔ)器是空間福照的敏感器件，其內(nèi)部數(shù)據(jù)的錯(cuò)誤可導(dǎo)致航天電子系統(tǒng)異常。平 均無故障時(shí)間MTTF(Mean Time To化ilure)指存儲(chǔ)器中的數(shù)據(jù)位發(fā)生不可容忍錯(cuò)誤的平 均時(shí)間，是衡量存儲(chǔ)器可靠性的最重要參數(shù)。所謂不可容忍的錯(cuò)誤指存儲(chǔ)系統(tǒng)無法自動(dòng)糾 正的數(shù)據(jù)位翻轉(zhuǎn)，此時(shí)數(shù)據(jù)翻轉(zhuǎn)位數(shù)超過了ECC巧rror Correct Code)的糾錯(cuò)能力，對(duì)于無 保護(hù)的存儲(chǔ)器，指發(fā)生任意一位翻轉(zhuǎn)；對(duì)于基于SEC編碼（Single化ror Correct)的存儲(chǔ) 器，指發(fā)生二位及W上的錯(cuò)誤翻轉(zhuǎn)。
[0003] 存儲(chǔ)器可靠性的準(zhǔn)確評(píng)估，對(duì)于指導(dǎo)航天系統(tǒng)的可靠性設(shè)計(jì)、提高航天器的安全 性具有重要意義。目前常見的存儲(chǔ)器可靠性評(píng)估方法包括環(huán)境試驗(yàn)、故障注錯(cuò)及可靠性模 型仿真等。
[0004] 環(huán)境試驗(yàn)指通過粒子加速器等設(shè)備，人為制造類似于宇宙空間的福射環(huán)境，通過 觀測(cè)存儲(chǔ)器在人造福照環(huán)境中的錯(cuò)誤發(fā)生率，進(jìn)一步實(shí)現(xiàn)存儲(chǔ)器的可靠性評(píng)估。該方法可 W獲得較真實(shí)的存儲(chǔ)器可靠性數(shù)據(jù)，但是試驗(yàn)設(shè)備價(jià)格昂貴，非一般開發(fā)人員所能承受，對(duì) 各種類型的存儲(chǔ)器進(jìn)行環(huán)境試驗(yàn)并不現(xiàn)實(shí)，因此無法普遍地用于存儲(chǔ)器的可靠性評(píng)估。
[0005] 故障注入主要指通過軟硬件的技術(shù)手段使存儲(chǔ)器中數(shù)據(jù)位的翻轉(zhuǎn)，評(píng)估故障注入 后的存儲(chǔ)器數(shù)據(jù)對(duì)整體系統(tǒng)的影響，該方法主要用于具有ECC能力的存儲(chǔ)系統(tǒng)的可靠性評(píng) 估，由于故障注入覆蓋率較低，驗(yàn)證耗時(shí)較長，評(píng)估結(jié)果的準(zhǔn)確性不如環(huán)境試驗(yàn)。
[0006] 可靠性模型指通過數(shù)學(xué)建模的方式，對(duì)空間福射環(huán)境中存儲(chǔ)器的MTTF給出定量描 述，該方法可W用于設(shè)計(jì)初期對(duì)存儲(chǔ)器的MTTF進(jìn)行預(yù)估，從而指導(dǎo)系統(tǒng)開發(fā)人員對(duì)存儲(chǔ)器 采取相應(yīng)的加固措施。"Reliability of ScriAbing Recove巧-Techniques for Memory Systems''、('Reliability of Single-Error Correction Protected Memories''及('SRAM Interleaving Distance Selection With a Soft Error Failure Model"等多篇論文均 對(duì)存儲(chǔ)器MTTF的定量模型進(jìn)行了描述和分析，且都認(rèn)為當(dāng)存儲(chǔ)器中數(shù)據(jù)的翻轉(zhuǎn)位數(shù)超過 ECC的糾正能力時(shí)，存儲(chǔ)器失去其可靠性。
[0007] 然而，上述假設(shè)對(duì)指令存儲(chǔ)器并不準(zhǔn)確，因?yàn)橹噶钪邪舾蔁o效位，若翻轉(zhuǎn)恰好 發(fā)生在指令的無效位，則并不會(huì)影響指令存儲(chǔ)器實(shí)際的可靠性，已有存儲(chǔ)器MTTF模型平等 的對(duì)待存儲(chǔ)器中的所有數(shù)據(jù)位，將所有數(shù)據(jù)位視為關(guān)鍵有效位，因此會(huì)低估指令存儲(chǔ)器的 MTTF，造成指令存儲(chǔ)器的MTTF評(píng)估結(jié)果存在偏差。

【發(fā)明內(nèi)容】

[000引針對(duì)現(xiàn)有技術(shù)中存在的問題，本發(fā)明提供一種面向指令存儲(chǔ)器的可靠性評(píng)估方 法，通過統(tǒng)計(jì)和分析編譯后應(yīng)用程序中的指令類型及尋址模式，實(shí)現(xiàn)了指令存儲(chǔ)器可靠性 的歸一化處理，可用于各類應(yīng)用程序的可靠性統(tǒng)計(jì)分析。
[0009] 本發(fā)明是通過W下技術(shù)方案來實(shí)現(xiàn)：
[0010] -種面向指令存儲(chǔ)器的可靠性評(píng)估方法，包括如下步驟：
[0011] 步驟1，根據(jù)應(yīng)用程序編譯后的二進(jìn)制指令，得到應(yīng)用程序包含的指令的條數(shù)和類 型，并統(tǒng)計(jì)各類型的指令出現(xiàn)的概率；
[0012] 步驟2,根據(jù)ISA定義，得到各類型指令分別對(duì)應(yīng)的尋址模式，并統(tǒng)計(jì)每個(gè)類型的指 令對(duì)應(yīng)的各種尋址模式出現(xiàn)的概率；
[0013] 步驟3,根據(jù)指令集體系結(jié)構(gòu)ISA的定義，得到每個(gè)類型的指令在每個(gè)尋址模式下 的無效位；
[0014] 步驟4,根據(jù)泊松分布理論得到的指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率，和/或指令所有的 錯(cuò)誤翻轉(zhuǎn)均發(fā)生在無效位的概率，得到每個(gè)類型的指令在每個(gè)尋址模式下的可靠性；
[0015] 步驟5,根據(jù)每個(gè)類型的指令對(duì)應(yīng)的各種尋址模式出現(xiàn)的概率，W及每個(gè)類型的指 令在每個(gè)尋址模式下的可靠性，得到編譯后的應(yīng)用程序中每個(gè)類型的指令，基于對(duì)應(yīng)的多 種尋址模式的歸一化可靠性；
[0016] 步驟6,根據(jù)每個(gè)類型的指令的歸一化可靠性，計(jì)算編譯后的應(yīng)用程序中所有指令 類型的歸一化可靠性；
[0017] 步驟7,根據(jù)MTTF的定義和所有指令類型的歸一化可靠性，計(jì)算并保存編譯后的應(yīng) 用程序的指令存儲(chǔ)器的MTTF，從而得到指令存儲(chǔ)器的預(yù)估MTTF，指導(dǎo)后續(xù)的指令存儲(chǔ)器加 固設(shè)計(jì)。
[0018] 優(yōu)選的，具體包括如下步驟，
[0019] 步驟1)，根據(jù)應(yīng)用程序編譯后的二進(jìn)制指令，得到應(yīng)用程序包含的n個(gè)指令條數(shù)和 總數(shù)目為T的指令類型，并統(tǒng)計(jì)各類型的指令出現(xiàn)的概率，將指令類型Wi編號(hào)，記第i類指 令出現(xiàn)的概率為Pi，其中1《i《T;
[0020] 步驟2)，根據(jù)ISA定義，得到第i類指令的尋址模式的總數(shù)目為A，并統(tǒng)計(jì)第i類指令 各種尋址模式出現(xiàn)的概率;將尋址模式Wj編號(hào)，記第巧中尋址模式出現(xiàn)的概率為門，其中1
[0021] 步驟3)，根據(jù)指令集體系結(jié)構(gòu)ISA的定義，得到第i類指令在第巧巾尋址模式下的無 效位，將無效位的位數(shù)記為nij，1《i《T; 1《j《A;
[0024] 其中：N表示指令字的位寬;A指空間環(huán)境中指令字的單粒子翻轉(zhuǎn)概率;指t時(shí)刻 無翻轉(zhuǎn)的概率；(?)"指m個(gè)單粒子翻轉(zhuǎn)全部發(fā)生在無效位時(shí)的概率;"表示指令字t
[0022] 步驟4)，根據(jù)泊松分布理論得到的指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率，和/或指令所有的 錯(cuò)誤翻轉(zhuǎn)均發(fā)生在無效位的概率，得到第i類指令在第巧巾尋址模式下的可靠性Pu如下式所 示，
[0023] 時(shí)刻恰好發(fā)生m個(gè)單粒子翻轉(zhuǎn)的概率；
[0025] 步驟5)，根據(jù)第i類指令在第巧巾尋址模式出現(xiàn)的概率門，W及第i類指令在第巧中 尋址模式下的可靠性Pu,得到第i類指令基于多種尋址模式的歸一化可靠性PinDrm如下式所 示，
[0026]
[0027] 舍出現(xiàn)的概率為Pi和第i類指令基于多種尋址模式的歸一化 可靠性 目程序中所有指令類型的歸一化可靠性PnDrm如下式所示，
[002引
[0029] 步驟7)，根據(jù)MTTF的定義和所有指令類型的歸一化可靠性，計(jì)算并保存編譯后的 應(yīng)用程序的指令存儲(chǔ)器的MTTF，從而得到指令存儲(chǔ)器的預(yù)估MTTF，指導(dǎo)后續(xù)的指令存儲(chǔ)器 加固設(shè)計(jì)。
[0030] 進(jìn)一步，步驟7)中，所述指令存儲(chǔ)器的MTTF目
尋出。
[0031] 優(yōu)選的，步驟3中，無效位指ISA定義中不影響程序正確識(shí)別和執(zhí)行的位，即指令的 保留位和冗余位。
[0032] 優(yōu)選的，步驟4中，根據(jù)泊松分布理論得到的指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率時(shí)，根據(jù) 空間環(huán)境單粒子翻轉(zhuǎn)的概率服從泊松分布，且由條件概率和全概公式，計(jì)算得到所有的單 粒子翻轉(zhuǎn)恰好發(fā)生在無效位時(shí)的概率，即為指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率。
[0033] 與現(xiàn)有技術(shù)相比，本發(fā)明具有W下有益的技術(shù)效果：
[0034] 本發(fā)明所述的方法根據(jù)指令集體系結(jié)構(gòu)ISA(Instruction Set Architecture)的 定義，將指令字的二進(jìn)制編碼分為有效位和無效位兩類，并且基于指令無效位發(fā)生翻轉(zhuǎn)時(shí) 不影響可靠性運(yùn)一客觀事實(shí)進(jìn)行逐條指令的可靠性建模，定義了可靠性為未發(fā)生錯(cuò)誤翻 轉(zhuǎn)，和/或所有的錯(cuò)誤翻轉(zhuǎn)皆發(fā)生在無效位中，從而在可靠性建模過程中考慮了當(dāng)指令無效 位發(fā)生翻轉(zhuǎn)并不影響指令可靠性的客觀事實(shí)，最后歸一化后的程序指令可靠性進(jìn)行指令存 儲(chǔ)器的MTTF評(píng)估。同時(shí)采用W應(yīng)用程序中所有指令為基準(zhǔn)對(duì)可靠性進(jìn)行歸一化處理，可W 充分衡量高頻指令對(duì)指令存儲(chǔ)器MTTF的影響，使MTTF的預(yù)估更加準(zhǔn)確。
[00對(duì)進(jìn)一步的，給出了一種指令存儲(chǔ)器MTTF的量化表達(dá)式，該表達(dá)式對(duì)指令字引入了 無效位的概念，可W得出更加精確的MTTF預(yù)估。
【附圖說明】
[0036] 圖1為基于本發(fā)明所構(gòu)建的指令存儲(chǔ)器可靠性評(píng)估方法流程示意圖。
【具體實(shí)施方式】
[0037] 下面結(jié)合具體的實(shí)施例對(duì)本發(fā)明做進(jìn)一步的詳細(xì)說明，所述是對(duì)本發(fā)明的解釋而 不是限定。
[0038] 本發(fā)明實(shí)例中采用SPARC V8的NOP指令作為優(yōu)選實(shí)施例進(jìn)行說明，并且采用本發(fā) 明提出的可靠性評(píng)估方法對(duì)保存NOP指令的指令存儲(chǔ)器MTTF進(jìn)行預(yù)估，評(píng)估方法流程圖如 圖I所示，具體如下：
[0039] 步驟1，分析編譯后的應(yīng)用程序，記錄和統(tǒng)計(jì)指令特征。針對(duì)應(yīng)用程序編譯后的二 進(jìn)制指令，本優(yōu)選實(shí)例中假設(shè)全部為SPARC V8N0P指令，分析編譯后的應(yīng)用程序包含的指令 條數(shù)和指令類型，并統(tǒng)計(jì)各類型的指令出現(xiàn)的概率。設(shè)n為指令條數(shù)，本優(yōu)選的屯個(gè)實(shí)施例 中n分別用1、10、50、100、200、300和400; T為指令類型的總數(shù)目，本優(yōu)選實(shí)例中為1，因?yàn)橹?有NOP指令;將指令類型Wi編號(hào)，記第i類指令出現(xiàn)的概率為Pi(Pi = 1)，其中i = 1。
[0040] 步驟2,分析應(yīng)用程序中指令的尋址模式，并記錄和統(tǒng)計(jì)指令的尋址模式特征。分 析編譯后的應(yīng)用程序中第i類指令的尋址模式，并統(tǒng)計(jì)第i類指令各種尋址模式出現(xiàn)的概 率。設(shè)A為ISA定義的第i類指令的尋址模式的總數(shù)目，本優(yōu)選實(shí)例中根據(jù)SPARC V8的ISA定 義，對(duì)NOP而言A = 1，將尋址模式W j編號(hào)，記第巧中尋址模式出現(xiàn)的概率為Pj (Pj = 1 )，其中i =1 ； j = 1 O
[0041] 步驟3,根據(jù)指令集體系結(jié)構(gòu)ISA的定義，分析編譯后的應(yīng)用程序中第i類指令在第 巧中尋址模式下的無效位，將無效位的位數(shù)記為nu，本優(yōu)選實(shí)例中根據(jù)SPARC V8的ISA定義， 對(duì)NOP而言m j = 22，其中無效位指ISA定義中指令的保留位和冗余位，i = 1; j = 1。
[0042] 步驟4,分析計(jì)算編譯后的應(yīng)用程序中第i類指令在第巧巾尋址模式下的可靠性PiJ, 可靠性指指令字未發(fā)生錯(cuò)誤翻轉(zhuǎn)，或者所有的錯(cuò)誤翻轉(zhuǎn)皆發(fā)生在無效位，其中，i = 1; j = 1。 PiJ根據(jù)下述公式計(jì)算：
[0043]
[0044] 其中:N表示指令字的位寬，本優(yōu)選實(shí)例中為32;
[0045] A指空間環(huán)境中指令字的單粒子翻轉(zhuǎn)概率；
[0046] A=1.05X10-l3upsets/bit-hour，本實(shí)施例選取NASA針對(duì)150nmSRAM型FPGA的測(cè) 試結(jié)果；
[0047] 指t時(shí)刻無翻轉(zhuǎn)的概率，本優(yōu)選實(shí)例中由泊松分布理論得到；
[004引指m個(gè)單粒子翻轉(zhuǎn)全部發(fā)生在無效位時(shí)的概率，本優(yōu)選實(shí)例中為(II廣；
[0049] 。"'指t時(shí)刻恰好發(fā)生m個(gè)單粒子翻轉(zhuǎn)的概率，本優(yōu)選實(shí)例中m取2，使結(jié)果趨 /?! 于保守。
[0050] 步驟5,分析計(jì)算編譯后的應(yīng)用程序中第i類指令，基于多種尋址模式的歸一化可 罪性Pinorm,其中，i二1 ; j二1 nPinorm由W下公式得出：
[0化1 ]
；
[0052]其中:門為步驟2的結(jié)果;Pu為步驟4的結(jié)果。
[0化3] 因此，Pinorm可進(jìn)一步表示為：
[0054]步驟6,分析計(jì)算編譯后的應(yīng)用程序中所有指令類型的歸一化可靠性Pnnrm,其中，1 《i《TaPnDrm由W下公式得出：
[0化5]
[0056]其中：Pi為步驟1中的第i類指令出現(xiàn)的概率;Pin。?為步驟5中第i類指令的歸一化 可靠性。
[0化7] 因此，Pnorm可進(jìn)一步表示為：
[0化引
[0059] 步驟7,根據(jù)MTTF的定義，計(jì)算保存編譯后的應(yīng)用程序的指令存儲(chǔ)器的MTTF，指令 存儲(chǔ)器的MTTF由下述公式得出：
[0060]
其中:n為步驟1應(yīng)用程序中含有的指令條數(shù)。根據(jù)步驟6的結(jié)果， MTTF可進(jìn)一步表示為：
[0061]
[0062] 不同的應(yīng)用程序，編譯后的二進(jìn)制指令條數(shù)不一致，表1將屯個(gè)實(shí)施例(對(duì)用不同 的指令條數(shù)）中的MTTF評(píng)估結(jié)果與公知模型的評(píng)估結(jié)果(各種假設(shè)與本實(shí)施例一致)進(jìn)行了 對(duì)比。結(jié)果說明：雖然本實(shí)施例單粒子翻轉(zhuǎn)數(shù)目m取2,使MTTF的結(jié)果趨于保守，但是與公知 模型相比，仍然有較大的差別，運(yùn)種差別一定程度上因?yàn)楸緦?shí)施例選擇了無效位數(shù)較多的 NO巧旨令，但是同樣說明指令中無效位對(duì)MTTF評(píng)估的影響必須考慮。本發(fā)明考慮了指令無效 位的翻轉(zhuǎn)不影響可靠性運(yùn)一客觀事實(shí)，可W給出更加精確的指令存儲(chǔ)器MTTF評(píng)估結(jié)果。
[0063] 表1不同應(yīng)用程序的指令存儲(chǔ)器MTTF評(píng)估結(jié)果對(duì)比
[0064]
【主權(quán)項(xiàng)】
1. 一種面向指令存儲(chǔ)器的可靠性評(píng)估方法，其特征在于，包括如下步驟： 步驟1，根據(jù)應(yīng)用程序編譯后的二進(jìn)制指令，得到應(yīng)用程序包含的指令的條數(shù)和類型， 并統(tǒng)計(jì)各類型的指令出現(xiàn)的概率； 步驟2,根據(jù)ISA定義，得到各類型指令分別對(duì)應(yīng)的尋址模式，并統(tǒng)計(jì)每個(gè)類型的指令對(duì) 應(yīng)的各種尋址模式出現(xiàn)的概率； 步驟3,根據(jù)指令集體系結(jié)構(gòu)ISA的定義，得到每個(gè)類型的指令在每個(gè)尋址模式下的無 效位； 步驟4,根據(jù)泊松分布理論得到的指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率，和/或指令所有的錯(cuò)誤 翻轉(zhuǎn)均發(fā)生在無效位的概率，得到每個(gè)類型的指令在每個(gè)尋址模式下的可靠性； 步驟5,根據(jù)每個(gè)類型的指令對(duì)應(yīng)的各種尋址模式出現(xiàn)的概率，以及每個(gè)類型的指令在 每個(gè)尋址模式下的可靠性，得到編譯后的應(yīng)用程序中每個(gè)類型的指令，基于對(duì)應(yīng)的多種尋 址模式的歸一化可靠性； 步驟6,根據(jù)每個(gè)類型的指令的歸一化可靠性，計(jì)算編譯后的應(yīng)用程序中所有指令類型 的歸一化可靠性； 步驟7,根據(jù)MTTF的定義和所有指令類型的歸一化可靠性，計(jì)算并保存編譯后的應(yīng)用程 序的指令存儲(chǔ)器的MTTF，從而得到指令存儲(chǔ)器的預(yù)估MTTF，指導(dǎo)后續(xù)的指令存儲(chǔ)器加固設(shè) 計(jì)。2. 根據(jù)權(quán)利要求1所述的一種面向指令存儲(chǔ)器的可靠性評(píng)估方法，其特征在于，具體包 括如下步驟， 步驟1)，根據(jù)應(yīng)用程序編譯后的二進(jìn)制指令，得到應(yīng)用程序包含的η個(gè)指令條數(shù)和總數(shù) 目為Τ的指令類型，并統(tǒng)計(jì)各類型的指令出現(xiàn)的概率，將指令類型以i編號(hào)，記第i類指令出 現(xiàn)的概率為Pi，其中 步驟2)，根據(jù)ISA定義，得到第i類指令的尋址模式的總數(shù)目為A，并統(tǒng)計(jì)第i類指令各種 尋址模式出現(xiàn)的概率;將尋址模式以j編號(hào)，記第j種尋址模式出現(xiàn)的概率為匕，其中 步驟3)，根據(jù)指令集體系結(jié)構(gòu)ISA的定義，得到第i類指令在第j種尋址模式下的無效 位，將無效位的位數(shù)記為ruj，K i; K j; 步驟4)，根據(jù)泊松分布理論得到的指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率，和/或指令所有的錯(cuò)誤 翻轉(zhuǎn)均發(fā)生在無效位的概率，得到第i類指令在第j種尋址模式下的可靠性Pu如下式所示，其中：N表示指令字的位寬;λ指空間環(huán)境中指令字的單粒子翻轉(zhuǎn)概率;時(shí)刻無翻 轉(zhuǎn)的概率;(3)'H指m個(gè)單粒子翻轉(zhuǎn)全部發(fā)生在無效位時(shí)的概率;表示指令字t時(shí)刻 Λ' ml 恰好發(fā)生m個(gè)單粒子翻轉(zhuǎn)的概率； 步驟5)，根據(jù)第i類指令在第j種尋址模式出現(xiàn)的概率匕，以及第i類指令在第j種尋址模 式下的可靠性P&得到第i類指令基于多種尋址模式的歸一化可靠性Pin_如下式所示，乂_* 步驟6)，根據(jù)第i類指令出現(xiàn)的概率為Pi和第i類指令基于多種尋址模式的歸一化可靠 性Pi_m，計(jì)算編譯后的應(yīng)用程序中所有指令類型的歸一化可靠性Pn_如下式所示，步驟7)，根據(jù)MTTF的定義和所有指令類型的歸一化可靠性，計(jì)算并保存編譯后的應(yīng)用 程序的指令存儲(chǔ)器的MTTF，從而得到指令存儲(chǔ)器的預(yù)估MTTF，指導(dǎo)后續(xù)的指令存儲(chǔ)器加固 設(shè)計(jì)。3. 根據(jù)權(quán)利要求2所述的一種面向指令存儲(chǔ)器的可靠性評(píng)估方法，其特征在于，步驟7) 中，所述指令存儲(chǔ)器的MTTF由得出。4. 根據(jù)權(quán)利要求1所述的一種面向指令存儲(chǔ)器的可靠性評(píng)估方法，其特征在于，步驟3 中，無效位指ISA定義中不影響程序正確識(shí)別和執(zhí)行的位，即指令的保留位和冗余位。5. 根據(jù)權(quán)利要求1所述的一種面向指令存儲(chǔ)器的可靠性評(píng)估方法，其特征在于，步驟4 中，根據(jù)泊松分布理論得到的指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率時(shí)，根據(jù)空間環(huán)境單粒子翻轉(zhuǎn)的 概率服從泊松分布，且由條件概率和全概公式，計(jì)算得到所有的單粒子翻轉(zhuǎn)恰好發(fā)生在無 效位時(shí)的概率，即為指令未發(fā)生錯(cuò)誤翻轉(zhuǎn)的概率。
【文檔編號(hào)】G11C29/18GK105957557SQ201610286196
【公開日】2016年9月21日
【申請(qǐng)日】2016年5月3日
【發(fā)明人】陳慶宇, 馬徐瀚, 趙坤鵬, 曹天嬌, 段青亞, 吳龍勝
【申請(qǐng)人】中國航天科技集團(tuán)公司第九研究院第七七研究所, 中國航天科技集團(tuán)公司第九研究院第七七一研究所