機能安全検証

最新規格の常時把握からすべての関連データの管理まで、機能安全要件の順守は時間と手間がかかるものです。知財（IP）、system-on-chip（SoC）、システム設計でのフォールト・インジェクションと結果解析の自動化により、ケイデンスはこの工程を変えつつあります。

実証済みのCadence^® Incisive^®検証プラットフォームに基づき、弊社のエンドツーエンドの機能安全性ソリューションは自動車産業のISO 26262準拠エフォートを50%削減します。このソリューションはCadence System Development Suiteの一部として利用可能です。

安全性解析で継続動作性を測定

機能安全性要件に適合するには、以下が必要です。

• システムを監視し、必要に応じてエラー回復機能をトリガするチェック機能
• エラーが発生した場合に継続機能を提供する冗長機能

上記に関して、安全性に携わるエンジニアは、システムからコンポーネントまでの追跡要件を実装し、開発フローがtool confidence level（TCL）に合致していることを確認する必要があります。機能の検証は、すべての抽出レベルで行われ、すべてのシステム要素を対象とする必要があります。不要な計画外のイベントに対するシステム応答を測定する安全性の検証は、もう1つの重大ステップです。最後に、コンプライアンスの完全準拠のため、安全性担当エンジニアはすべての機能安全の測定結果を記録し、報告する必要があります。

実証済みのIncisiveプラットフォームにおける構築

トレーサビリティ、安全性検証、ISO 26262のTCL要件を達成するため、ケイデンスの機能安全性ソリューションにはIncisive Functional Safety SimulatorとIncisive vManager^™ソリューションの機能安全解析機能が含まれます。

Incisive Functional Safety Simulatorでは、以下を実現します。

• ミックスシグナルの機能検証環境のシームレスな再利用で、安全性検証の所要時間を短縮
• 実行中に故障を特定
• 既存の機能検証環境（SystemVerilog、Universal Verification Methodology（UVM）対応）の再利用
• 変更のないdesign under test（DUT）のシミュレーション
• single event upset（SEU）、stuck-at-0/stuck-at-1、single event transientを含む、複数の故障タイプのサポート

Incisive vManagerソリューションの機能安全解析機能は以下のことを行います。

• シミュレータにより作成された故障ディクショナリから安全性検証プランを自動生成します。それを受け、Incisive vManagerソリューションは、数百万もの検出済み、一部検出済み、未検出の故障をトラックし、設計内の安全性システムを検証するためのシミュレーションに導入します。
• 詳細なデバッグのため、未検出の潜在的な故障を提示します。

ケイデンスではこの機能安全性ソリューションを継続し、さらにハードウェア、ソフトウェア、IPコンポーネントに拡大していく予定です。

Safety Analysis to Measure Continuous Operation

Meeting functional safety requirements calls for:

• Checkers, which monitor the systems and trigger error recovery features when necessary
• Redundancy, which provides continuous function in the event of errors

For their part, safety engineers must implement requirements tracing from the system to components, and ensure that their development flow aligns with tool confidence level (TCL). Functional verification should take place at all levels of abstraction and for all system elements. Safety verification, which measures response of systems to undesired/unplanned events, is another critical step. Finally, to be in full compliance, safety engineers must record and report on all functional safety measures.

Built on Proven Incisive Platform

Fulfilling the traceability, safety verification, and TCL requirements of ISO 26262, Cadence’s functional safety solution includes Incisive Functional Safety Simulator and a functional safety analysis capability in the Cadence vManager^™ Metric-Driven Signoff Platform.

Incisive Functional Safety Simulator delivers:

• Seamless reuse of functional and mixed-signal verification environments to accelerate the time to develop safety verification
• Fault identification during elaboration
• Reuse of the existing functional verification environment (with support for SystemVerilog, Universal Verification Methodology (UVM), and e)
• Simulation of the unaltered design under test (DUT)
• Support for multiple fault types, including single event upset (SEU), stuck-at-0/stuck-at-1, and single event transient

The functional safety analysis capability in the vManager platform:

• Automatically generates a safety verification plan from the fault dictionary created by the simulator. The vManager platform can then track millions of detected, partially detected, and undetected faults introduced into simulation to verify the safety systems in a design.
• Highlights potential and undetected fault runs for further debugging

Cadence will continue to expand its functional safety solution to encompass additional hardware, software, and IP components.