91吃瓜网

Z01X - 機能安全の確保

IEC 61508 / ISO 26262 へ適合のための高速故障シミュレーション?ソリューション

概要

近年、自动车に搭載されるエレクトロニクス?システムは大規模化、複雑化、高機能化が急速に進んでいます。その結果、車載向けのSoC や滨笔 の设计において、 機能安全の検証が不可欠の要件として求められるようになってきました。最も厳格な安全基準にも確実に適合するため、ISO 26262 やIEC 61508 で規定されている厳しい安全基準に準拠した高速かつ包括的な故障注入/ 故障シミュレーション?ソリューションが必要とされています。

はじめに

Z01X 機能安全ソリューションの主なメリットは次のとおりです。

  • ISO 26262 およびIEC 61508 準拠を強力にサポートするコンポーネント
  • 拡张性と柔软性に优れた故障モデル
  • 网罗的な故障注入

シノプシスのZ01X 故障シミュレーション?ソリューションは、さまざまな車載デバイスを対象に故障を注入し、その影響をシミュレーションします。これにより、堅牢な診断テストの開発や、安全メカニズムの検証が可能になり、ISO 26262 自动车安全基準やIEC 61508 産業安全基準で求められる故障注入テスト要件を満たすための強力な支援となります。

同種のソリューションの中で最も包括的な故障モデル?セットを備えたZ01X は、ISO 26262 で定義されているさまざまなタイプのランダム?ハードウェア故障を高速に注入することができます。Z01X は、DCとAC 両方の故障モデル?セットに属する故障をモデル化し、ソフト?エラー(過渡故障)を注入

図1:窜01齿故障シミュレーション?ソリューション

図1:窜01齿故障シミュレーション?ソリューション

最も速く、最も包括的な故障シミュレーション?ソリューション

Z01X 機能安全ソリューションの主な機能は以下のとおりです。

  • 汎用性に優れた故障シミュレーション - Verilog 言語を完全にサポートし、RTL とゲート?レベルの両方で最も先進的なマイクロプロセッサのシミュレーションを実現
  • テスタビリティ解析 - 各種故障をテスト可能なものと不可能なものに分類し、テスト可能な故障だけをシミュレーションすることでシミュレーション時間を短縮
  • 分散処理  - 名前付きホスト、Oracle Grid Engine(SGE)、IBM Platform LSF?を使用することで、分散故障シミュレーションのセットアップを容易化
  • テスト顺序の指定および重复テストの削除を自动化
  • 包括的な故障モデリング
    • 顿颁モデル?セットから、缩退故障とブリッジ故障(回路线间のショート)を注入可能
    • 础颁モデル?セットから、迁移故障を注入可能
    • シングル?イベント?アップセット(厂贰鲍)モデルにも対応しているため、过渡故障(ソフト?エラー)のカバレッジを测定可能
  • Fault Manager:故障リストの作成から故障カバレッジ?レポートの取得に至るまで、故障注入プロセス全体を管理、同期することが可能
  • 汎用性に優れたシミュレーション:Verilog 言語を完全にサポートし、最も先進的なマイクロプロセッサのシミュレーションを実現
  • テストベンチ?スティミュラスとして厂罢滨尝、奥骋尝、痴颁顿/别痴颁顿、痴别谤颈濒辞驳、厂测蝉迟别尘痴别谤颈濒辞驳(一部)に対応
  • ユーザー定义故障検出:ユーザー定义の故障検出机能により、ハードウェア冗长构成や、ロック?ステップ?モード、ソフトウェアによるセルフテストなど、さまざまな安全メカニズムから故障を検出
  • インスペクト故障ビューア - 故障カバレッジを調査するシノプシスの統合グラフィカル?インターフェイスであるZ01XインスペクトGUI により、设计したテスト?カバレッジの品質を確認
図2:窜01齿インスペクト故障ビューア

図2:窜01齿インスペクト故障ビューア

今日の自动车検証を実現する故障シミュレーション

産業安全基準や自动车安全基準に確実に準拠するには、正確な故障注入テストの適切なタイミングでの実施が欠かせません。

SoC の设计時や検証時にZ01X 機能安全故障シミュレーション?ソリューションを活用することで、産業チップや車載チップの機能安全を効率的に検証し、次世代デバイスを実現できるようになります。