91在线观看视频-91在线观看视频-91在线观看免费视频-91在线观看免费-欧美第二页-欧美第1页

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

新思科技統一功能安全驗證平臺可幫助開發者驗證ASIL目標

科技綠洲 ? 來源:新思科技 ? 作者:新思科技 ? 2022-06-22 14:45 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

芯片的復雜度在日益增加,尤其是無人駕駛、醫療設備、航空航天等關鍵且重要的領域,芯片的設計規模和復雜度都在以指數級攀升。芯片是否能成功上市,驗證非常關鍵,而故障仿真又是這一類芯片驗證中極為重要的步驟。

那么開發者在做故障仿真時都會面臨哪些挑戰?為什么故障仿真要考慮功能安全?為什么說統一的驗證方法是一大進步?在今天的文章中,我們會對這幾個問題進行討論。

故障仿真必不可少

故障仿真就是排查設計中的所有潛在故障,并確定這些故障是否都可以被檢測出來。這一步驟通常是在設計完成即將流片時進行的,但開發者們都希望能將這一過程左移,因為如果真的有什么大問題需要修改,對設計進度將是巨大的影響。

有效的故障仿真會涵蓋芯片生命周期的以下三個主要階段:

芯片開發階段:在這一階段,故障仿真應該用于證明和記錄設計與驗證流程的魯棒性。也就是說,故障仿真可以確保實現工具和流程不會引入設計缺陷(系統故障),且驗證工具和流程能夠準確報告所有設計缺陷,讓開發者們能夠針對漏洞進行修復。所以說,故障仿真還確保了設計驗證方法擁有足夠的魯棒性,為零缺陷設計目標提供高可信度。

芯片制造階段:在這一階段,故障仿真可以通過監測DFT的功能測試向量,幫助減少隨機故障導致的不良率(DPPM)。

實際運行階段:故障仿真能證明并記錄安全機制是否正常運行。安全機制會在出現故障時(且應當只在出現故障)被觸發,他們能夠有效的讓設計進入安全狀態。

故障仿真的故障目標覆蓋率(即診斷覆蓋率)與安全關鍵程度息息相關。對安全性要求越高的應用,對故障仿真的目標覆蓋率要求也會越高。比如說,與無線耳機的芯片相比,自動駕駛輔助系統芯片要求故障仿真的故障目標覆蓋率要高達99%。但如果只能實現97%,開發者們應該怎么辦呢?如何去收斂覆蓋率差距呢?

在確定是否能夠檢測到設計中所有故障的同時,實現高診斷覆蓋率對開發者來說也是一項非常艱巨的任務。在這個過程中需要用大量的測試平臺和刺激測試激勵,對芯片設計在各種場景下進行測試。但由于沒有一個明確的方法來評估每個測試平臺和激勵對錯誤覆蓋率的價值,往往無法確定這些測試序列是否足夠。

而且,隨著芯片設計變得越來越復雜,仿真運行需要花費的時間越來越長。對某些安全關鍵型應用的SoC設計來說,為了測量診斷覆蓋率,需要對多達數百萬個故障進行仿真以確保其功能安全合規性。毫不夸張地說,這一過程將給整個功能驗證增加30%的工作量。

但無論如何,故障仿真是必不可少的。

故障仿真與功能驗證

如何協同工作

功能驗證,是對芯片設計中的各種功能模塊進行測試,從而驗證芯片設計是否符合預期。

故障仿真,即如果在設計中注入了會導致芯片設計失敗的錯誤,這個錯誤能否被檢測出來?或者更進一步地說,設計是否有足夠的能力仍然可以正常運行?

功能驗證和故障仿真都有自己的覆蓋率指標。然而,為了提高效率,開發者通常會考慮如何利用功能驗證中的測試機制進行故障仿真。功能驗證和故障仿真都可以運行幾乎無限數量的測試來對設計進行徹底驗證。當然,“無限”并不能真正支持上市時間目標,因為手動編寫軟件測試庫會耗費大量人力。因此,任何能將功能驗證和故障仿真自動化的技術都可以極大地提高設計效率。

功能安全合規性也是一個需要討論的重點問題。

安全關鍵型汽車應用需要符合ISO 26262功能安全標準。ISO 26262描述了一種被稱為汽車安全完整性等級(ASIL)的風險分類系統,其目的是減輕電氣和電子(E/E)系統故障行為產生的潛在危險。ASIL D代表最高風險等級,適用于ADAS等汽車應用。從故障仿真的角度來看,驗證開發者需要進行穩健的診斷測試,以驗證安全機制是否符合ISO 26262以及IEC 61508工業安全標準的要求。對于較高的風險等級(如ASIL D),覆蓋率要求也更高,相關的安全機制應更具彈性、更可靠。

通過自動化加速故障仿真的

解決方案

驗證開發者們始終都面臨著加快周轉時間的壓力,因此急需關鍵技術來減少故障注入的工作量。新思科技的統一功能安全驗證平臺,可以將自動化能力從功能驗證拓展到故障仿真,從而為開發者提供有效的解決方案:

新思科技的VC Z01X?并行故障仿真解決方案,可將故障注入整個數字汽車設備,對故障的影響進行仿真,以促進穩健診斷測試的開發,并驗證安全機制是否符合ISO 26262和IEC 61508的故障注入要求。新思科技 VC Z01X解決方案配備了各種報告機制,可幫助開發者了解設計中覆蓋率低的原因和位置。有了這種洞察力,開發者可以更好地了解是需要編寫新的測試模式還是需要進行對設計進行更改。

新思科技VC Functional Safety Manager,是一種可擴展、自動化、全面的功能安全失效模式后果分析(FMEA)和失效模式后果診斷分析(FMEDA)解決方案。

新思科技VC Formal?功能安全應用程序,能夠提供全面的分析和調試。使用新思科技的Verdi?自動調試系統可查看示意圖并注釋發生故障的位置,快速確定根本原因,從而大大提高調試過程的效率。

新思科技TestMAX FuSa功能安全分析解決方案,能夠在RTL或門級網表的設計流程早期執行分析,從而改進ISO 26262功能安全指標。

新思科技下一代電路仿真技術PrimeSim? Continuum統一工作流程,具備仿真故障注入功能。

新思科技ZeBu?仿真系統,可加速故障仿真進程。

新思科技統一功能安全驗證平臺

通過使用該平臺的VC Z01X組件,開發者可以將功能驗證測試平臺復用于故障仿真,因此無需再單獨進行邏輯仿真。新思科技的VC Z01X解決方案除了能夠加快覆蓋率收斂的速度外,還可提供一個涵蓋仿真、形式化和硬件加速的統一故障環境。

新思科技的統一功能安全驗證平臺讓驗證測試平臺更智能。舉個例子,假設現在有100個測試用例,在對測試平臺和電路活動進行分析之后,平臺可能會確定只有少部分用例提供了有價值的故障覆蓋,而其他用例實際上都是在浪費仿真周期。

對于功能安全合規性,集成解決方案可以幫助開發者驗證其ASIL目標是否已達成。

下一代故障仿真技術

會是怎樣的發展?

故障仿真技術經過多年的發展,已經從以過程加速為目的的單元優化進化到更有效的內存仿真。新思科技采用了基于故障模型注入的技術,隨著芯片尺寸的不斷縮小,故障模型出現了一種新趨勢,新的模型將會有新的體驗,比如慢通孔、橋接和電磁干擾等。

日益復雜化的芯片設計將需要不斷優化的新方法來縮短仿真時間。新思科技的統一功能安全驗證平臺為新方法的構建提供了基礎。故障仿真固然重要,但其本身并不能解決一切問題,尤其是在功能安全方面。未來,開發者們需要一個從架構到綜合再到布局的完整解決方案,既要利用故障仿真,也要利用所有其他類型的驗證和調試功能,從而更好地幫助開發者縮短芯片開發周期,加速產品上市。

審核編輯:彭靜
聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 芯片
    +關注

    關注

    460

    文章

    52520

    瀏覽量

    441093
  • SoC設計
    +關注

    關注

    1

    文章

    151

    瀏覽量

    19181
  • 新思科技
    +關注

    關注

    5

    文章

    870

    瀏覽量

    51540
  • 應用程序
    +關注

    關注

    38

    文章

    3337

    瀏覽量

    59043
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    思科技如何驗證安全的智能汽車軟件

    汽車軟件正在迅速發展,其復雜性、安全性要求以及對高效開發流程的需求與日俱增。在這背景下,虛擬ECU(vECU)成為加速開發驗證的關鍵工具
    的頭像 發表于 07-10 15:12 ?251次閱讀
    新<b class='flag-5'>思科</b>技如何<b class='flag-5'>驗證</b>更<b class='flag-5'>安全</b>的智能汽車軟件

    編譯器功能安全驗證的關鍵要素

    在汽車、工業、醫療等安全關鍵型應用中,確保功能安全合規性需要嚴格的工具鏈驗證開發安全關鍵型軟件
    的頭像 發表于 07-05 13:37 ?499次閱讀

    推動硬件輔助驗證平臺增長的關鍵因素

    硬件加速和基于FPGA的原型設計誕生于1980年代中期,開發者將當時初露頭角的現場可編程門陣列(FPGA)率先應用于硅前設計的原型驗證,由此催生了種全新的驗證工具,打破了軟件仿真的主
    的頭像 發表于 06-11 14:42 ?433次閱讀
    推動硬件輔助<b class='flag-5'>驗證</b><b class='flag-5'>平臺</b>增長的關鍵因素

    思科技VSO.ai如何顛覆芯片驗證

    隨著片上系統(SoC)復雜性不斷增加,IP的復雜性與驗證難度以及用于驗證的VIP的開發要求也日益提高。不斷發展的協議標準要求為IP和VIP提供動態測試套件,并滿足規定的功能和代碼覆蓋率
    的頭像 發表于 05-21 14:49 ?414次閱讀
    新<b class='flag-5'>思科</b>技VSO.ai如何顛覆芯片<b class='flag-5'>驗證</b>

    技術干貨 | 聊功能安全中的ASIL 等級

    項目開發初期概念階段就要根據相關項的功能進行失效分析,從而確定ASIL等級,以量化的方法平衡該項目開發時的安全與成本。
    的頭像 發表于 05-08 14:47 ?622次閱讀
    技術干貨 | 聊<b class='flag-5'>一</b>聊<b class='flag-5'>功能</b><b class='flag-5'>安全</b>中的<b class='flag-5'>ASIL</b> 等級

    思科技推出基于AMD芯片的新代原型驗證系統

    近日,新思科技宣布推出全新基于AMD Versal? Premium VP1902自適應系統級芯片(SoC)的HAPS?原型驗證系統,以此進步升級其硬件輔助驗證(HAV)產品組合。
    的頭像 發表于 02-19 17:12 ?688次閱讀

    思科技推出全新硬件輔助驗證產品組合

    思科技近日宣布,推出基于全新AMD Versal Premium VP1902自適應系統級芯片(SoC)的HAPS原型驗證系統,全新升級其業界領先的硬件輔助驗證(HAV)產品組合。
    的頭像 發表于 02-18 17:30 ?635次閱讀

    思科技全新升級業界領先的硬件輔助驗證產品組合,助力下代半導體與設計創新

    和ZeBu?仿真系統,全新升級其業界領先的硬件輔助驗證(HAV)產品組合。全新代HAPS-200原型驗證系統和ZeBu仿真系統提供了改善的運行性能、更快的編譯時間和更高的調試效率。兩
    發表于 02-18 16:00 ?269次閱讀

    利用西門子EDA工具進行SafeSPI功能安全驗證

    滿足汽車安全完整性等級(ASIL)C的要求是項艱巨的任務,需要在設計中實現低容錯率。對SafeSPI進行功能安全
    的頭像 發表于 01-17 15:29 ?1795次閱讀
    利用西門子EDA工具進行SafeSPI<b class='flag-5'>功能</b><b class='flag-5'>安全</b><b class='flag-5'>驗證</b>

    《HarmonyOS第課》煥新升級,賦能開發者快速掌握鴻蒙應用開發

    《HarmonyOS第課》煥新升級,賦能開發者快速掌握鴻蒙應用開發 隨著HarmonyOS NEXT發布,鴻蒙生態日益壯大,廣大開發者對于系統化學習
    發表于 01-02 14:24

    HarmonyOS NEXT應用元服務開發Intents Kit(意圖框架服務)習慣推薦方案開發者測試

    意圖框架向開發者提供真機測試能力,即開發者連接設備進行調測。開發者完成代碼開發之后,功能正式上
    發表于 11-25 17:37

    HarmonyOS NEXT應用元服務開發Intents Kit(意圖框架服務)事件推薦開發者測試

    意圖框架向開發者提供真機測試能力,即開發者連接設備進行調測。開發者完成代碼開發之后,功能正式上
    發表于 11-18 17:39

    ov華米聯手打造OneLink統一鏈接平臺

    。 OneLink平臺通過統一的URL封裝能力,使得開發者能夠輕松創建適用于多種平臺的應用分發和下載鏈接。這
    的頭像 發表于 11-18 15:01 ?1193次閱讀

    從芯片到系統賦能創新:2024新思科技開發者大會共創萬物智能未來

    9月10日,芯片行業年度嘉年華“2024新思科技開發者大會”在上海成功舉辦,匯聚全球科技領袖,與全場芯片開發者起探討如何加速從芯片到更廣泛科技領域的創新,共創萬物智能時代。 新思科
    發表于 09-11 10:45 ?470次閱讀
    從芯片到系統賦能創新:2024新<b class='flag-5'>思科技開發者</b>大會共創萬物智能未來

    思科技PCIe 7.0驗證IP(VIP)的特性

    在近期的博文《新思科技率先推出PCIe 7.0 IP解決方案,加速HPC和AI等萬億參數領域的芯片設計》中,新思科技宣布推出綜合全面的PCIe Express Gen 7(PCIe 7.0)驗證IP(VIP)解決方案,以支持高性
    的頭像 發表于 07-24 10:11 ?1617次閱讀
    新<b class='flag-5'>思科</b>技PCIe 7.0<b class='flag-5'>驗證</b>IP(VIP)的特性
    主站蜘蛛池模板: 日日噜噜夜夜狠狠tv视频免费 | 色综合综合网 | 狼干综合| 1024人成网色www | 狠狠色伊人亚洲综合第8页 狠狠色依依成人婷婷九月 狠狠色影院 | 最新四虎4hu影库地址在线 | 宅男午夜视频在线观看 | 性欧美护士18xxxxhd | 天天综合天天看夜夜添狠狠玩 | 欧美精品一区二区三区视频 | 久久九九国产 | 日韩精品视频免费在线观看 | 网络色综合久久 | 日本黄色站| 日日噜噜噜夜夜爽爽狠狠 | 国产成人高清一区二区私人 | 男男宿舍高h炒肉bl 男男污肉高h坐便器调教 | 新版天堂资源在线官网8 | 欧美视频精品在线 | 国产精品四虎 | 国产一级特黄特色aa毛片 | 午夜免费观看福利片一区二区三区 | 欧美潘金莲一级风流片a级 欧美片欧美日韩国产综合片 | 国产精品久久久久网站 | 狠狠色噜噜狠狠狠狠98 | 日本s色大片在线观看 | 高清一区二区在线观看 | 色综合久久综合欧美综合图片 | 欧美xxxx色视频在线观看免费 | 欧美亚洲在线 | 成人免费aaaaa毛片 | 免费公开在线视频 | 张柏芝三级无删减在线观看 | vr亚洲成年网址在线观看 | 天天做天天爱天天爽综合网 | 亚洲经典一区二区三区 | 啪啪免费网站 | 真爽~张开腿~让我插 | 2021日本三级理论影院 | 99精品国产在热久久 | 国产农村一级特黄α真人毛片 |