作為設(shè)計(jì)師，我們都希望我們的設(shè)計(jì)能夠正常工作。我們以擁有者為榮。因此，我們瘋狂地驗(yàn)證以確保我們做得很好。但是驗(yàn)證需要時(shí)間，而且項(xiàng)目有截止日期，否則他們就不會(huì)賺錢。所以，我們盡我們所能，用良好的驗(yàn)證工具提供幫助，總的來說，我們做得很好。

但對(duì)于所有設(shè)計(jì)，失敗的后果并不相同。如果您的筆記本電腦或游戲機(jī)無法工作，可能會(huì)令人沮喪，甚至可能會(huì)花費(fèi)您一些錢，但不會(huì)威脅到生命。另一方面，如果系統(tǒng)故障會(huì)使人員或重大財(cái)產(chǎn)面臨風(fēng)險(xiǎn)，那么我們就進(jìn)入了功能安全領(lǐng)域。

這曾經(jīng)是軍用或民用飛機(jī)小批量、高成本項(xiàng)目的唯一領(lǐng)域。你上次旅行時(shí)乘坐的飛機(jī)上的所有電子設(shè)備？他們必須工作；失敗不是一種選擇。你的生活取決于它。

但時(shí)代在變：安全至上的不再只是坦克、導(dǎo)彈和飛機(jī)。所有的電子產(chǎn)品都被設(shè)計(jì)到汽車中，包括驅(qū)動(dòng)的和無人駕駛的。這將功能安全從稀有的軍事/航空航天領(lǐng)域帶入了為消費(fèi)者制造的汽車的喧囂。安全關(guān)鍵芯片的數(shù)量應(yīng)該會(huì)飆升。

故障模式

從廣義上講，有兩類失?。?/p>

系統(tǒng)性故障：這些是由于原始設(shè)計(jì)規(guī)范或規(guī)范實(shí)施中的錯(cuò)誤而引起的問題。這就是傳統(tǒng)驗(yàn)證的解決方案。

隨機(jī)故障：這些是由不可控制的力量引起的任何其他類型的故障。這包括電磁影響、所謂的“單粒子擾動(dòng)”（如 α 粒子）以及任何其他此類影響。這些事件可以改變至少一個(gè)觸發(fā)器（任何觸發(fā)器）的狀態(tài)，并且隨著電路尺寸的縮小，單個(gè)事件甚至可能影響多個(gè)觸發(fā)器，因?yàn)樗鼈兎浅？拷?/p>

隨機(jī)故障域是設(shè)計(jì)中更難解釋的域。有些技術(shù)多年來一直用于小容量系統(tǒng)——比如三模塊冗余。但對(duì)于面向消費(fèi)者的汽車來說，它們太貴了。

因此，目標(biāo)從確保一切都不會(huì)出錯(cuò)（實(shí)際上來說）轉(zhuǎn)變?yōu)榘才湃魏斡龅焦收系南到y(tǒng)自然地進(jìn)入安全狀態(tài)。這并不意味著系統(tǒng)會(huì)像什么都沒發(fā)生一樣繼續(xù)工作，但這確實(shí)意味著系統(tǒng)不會(huì)進(jìn)入某些可能對(duì)周圍或內(nèi)部人員構(gòu)成危險(xiǎn)的不可預(yù)測的狀態(tài)。

作為設(shè)計(jì)師，您的任務(wù)就是盡量減少可能的故障數(shù)量，然后防止那些仍然存在的故障。未檢測到的故障——那些沒有傳播到系統(tǒng)，因此對(duì)任何輸出都沒有明顯影響或沒有導(dǎo)致非法內(nèi)部狀態(tài)的故障——不是問題，也不需要保護(hù)設(shè)計(jì)。另一方面，確實(shí)傳播到系統(tǒng)的可檢測故障依賴于額外的電路進(jìn)行保護(hù)。目前，一旦您知道關(guān)鍵故障在哪里，這些電路都是手動(dòng)設(shè)計(jì)的。

識(shí)別和防止故障

那么如何發(fā)現(xiàn)這些故障呢？這是一項(xiàng)工作……我們將使用廣義上的“模擬”一詞，盡管正如我們將看到的，EDA 模擬器無法勝任這項(xiàng)任務(wù)。這個(gè)想法是在注入故障的同時(shí)模擬系統(tǒng)，以了解哪些故障會(huì)導(dǎo)致不希望的狀態(tài)。并且有很多可能的故障——理論上，每個(gè)觸發(fā)器有多個(gè)故障。ISO 26262 建議在門級(jí)進(jìn)行故障注入，與基于 RTL 的設(shè)計(jì)相比，驗(yàn)證系統(tǒng)的潛在故障活動(dòng)成為一項(xiàng)更大的任務(wù)。

這里有幾個(gè)挑戰(zhàn)使這項(xiàng)任務(wù)比看起來更加困難。首先，有幾種故障需要測試。最常用的模型是固定故障、瞬態(tài)故障和橋接故障。并且此類故障通常一次注入和測試一個(gè)，因?yàn)檫@降低了測試的復(fù)雜性。

此外，完成設(shè)計(jì)的故障活動(dòng)所需的故障列表可能非常大。例如，單獨(dú)測試一個(gè)微處理器可能需要一個(gè)包含 100，000 個(gè)故障的列表，因此完整的 SoC 故障活動(dòng)將擴(kuò)展某些技術(shù)的限制，例如模擬。

所謂的故障修剪可以幫助減少故障列表的長度，這是 Mentor 積極參與的一個(gè)積極研究領(lǐng)域。但是，說實(shí)話，即使在修剪之后，你仍然會(huì)有很長的清單。

如果您使用傳統(tǒng)的 EDA 模擬器來完成這項(xiàng)工作，這將是一個(gè)巨大的項(xiàng)目。僅 100，000 門處理器就可能需要 11 天的時(shí)間，使完整的 SoC 遙不可及。這使得這成為一項(xiàng)仿真工作，Mentor 為 Veloce 仿真器系列提供了一個(gè)故障應(yīng)用程序。

您首先提供必須注入的故障列表，Veloce Fault App 系統(tǒng)地處理該列表，記錄所有結(jié)果。這仍然需要時(shí)間，但是在任何給定的運(yùn)行中，一旦檢測到意外狀態(tài)，該特定運(yùn)行就會(huì)停止并被記錄下來（換句話說，最慢的故障是不會(huì)提前結(jié)束的不可觀察的故障）。

您不必絕對(duì)列出設(shè)備中的每個(gè)網(wǎng)絡(luò)，因?yàn)楹芸赡苡行﹨^(qū)域顯然不會(huì)引起關(guān)注。但其他一切都應(yīng)該被代表

完成后，您將獲得一份故障輸出列表、未檢測到的故障以及設(shè)計(jì)的整體故障覆蓋率——所有這些都有助于您強(qiáng)化設(shè)備以滿足功能安全要求。

毫無疑問，提供功能安全需要額外的工作。但這比召回部件或車輛后的重新設(shè)計(jì)要少得多——而且成本要低得多！配備 Veloce Fault App 的 Veloce 仿真器可以處理任務(wù)中繁瑣的部分，為您的設(shè)計(jì)技能留下更有趣的保護(hù)設(shè)計(jì)。

審核編輯：郭婷