UPGRADE YOUR BROWSER

We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

このページをブックマークに追加

アイソレーション デザイン フロー

安全性が重視されるアプリケーションにおけるフォルト トレランス

耐故障設計でシステムのエラー モードを制御するには、エラーの伝搬を確実に制御するインプリメンテーション方法が必要です。ザイリンクスの IDF (Isolation Design Flow) では、次に示すさまざまな方法でシングルチップでのフォルト耐性システムを構築して、FPGA モジュール レベルでエラーを抑制します。

  • モジュールの冗長化
  • ウォッチドッグ アラーム
  • 安全性レベルで分離
  • テスト ロジックを分離して安全に削除

政府の暗号化システム向けに開発された IDF は、航空電子機器、機能安全の電子機器、産業用ロボット、重要なインフラ、金融システムなど、そのほかにも高い保証、可用性、信頼性が求められるシステムにも用いることができます。IDF は、数ある信頼性技術のうちの一つであり、それらを適切に組み合わせて使用することによって、最高レベルの信頼性、性能、そしてコスト効果をもたらすことができます。

長年、政府レベルの暗号化システムに採用されてきた IDF は、IEC61508 (インダストリアル向け機能安全規格) に準拠したザイリンクス ツール チェーンに欠かせない一部となります。さらに、このフローは、ISO26262 仕様 (オートモーティブの機能安全) 要件を満たすのに役立っています。

デバイスおよびソフトウェア サポート

デバイス サポートされるソフトウェア
Virtex-4 既存プログラムのみ
Virtex-5 ISE® 14.7
Spartan®-6 (LX75/75T、LX150/150T) ISE® 14.7
Artix®-7、Kintex®-7、Virtex®-7、Zynq®-7000
ISE® 14.7 / Vivado® 2015.x

IDF の手順

IDF の手順は、現行のインプリメンテーション ツール フロー (この場合、ISE デザイン ツール フロー) がベースとなります。デザインのフロアプランニングは、既存の制約ツール (PlanAhead / Vivado GUI) で実行します。作業後のデザイン (ピンの割り当てや配線が行われたデザイン) の検証は、単独ツール (ISE の場合は IVT、Vivado の場合は VIV) で実行します。

資料およびリファレンス デザイン

Virtex-5 FPGA

Spartan-6 FPGA

7 シリーズ FPGA

ISE Design Suite

  • 7 シリーズ用アイソレーション デザイン フロー (IDF) の規則/ガイドライン
    XAPP1086:『Developing Secure and Reliable Single FPGA Designs with Xilinx 7 Series FPGAs Using the Isolation Design Flow』では、FPGA 設計者用に安全で確実なデザインを設計するためのガイドラインを示しています。
  • Kintex-7: ISE 14.4 Design Suite を使用するアイソレーション デザイン フローのラボ
    XAPP1085:『ISE Design Suite 14.4 を使用した 7 シリーズ アイソレーション デザイン フロー ラボ』では、FPGA 設計者用に実際にセキュアなデザインをインプリメントして、アイソレーション デザイン フローを行う手順を示しています。

Vivado Design Suite

検証ツール

IDF 検証ツール (IVT および VIV) は、隔離された領域に分割された FPGA デザインがフェースセーフ デザインの厳しい要件を満たしているかを検証します。IVT および VIV は、FPGA デザイン プロセスの 2 つのステージで使用されます。初めは、初期の設計段階でフロアプランおよびピン割り当てに対して一連のデザイン ルール チェックを実行する際に使用します。そしてデザインが完成した後、これらのツールを使用して、デザインに有効なアイソレーション (隔離) が構築されているかを検証します。

ISE Design Suite 用 Isolation Verification Tool (IVT)

IVT は、ISE 環境の外で動作する実行ファイルですが、ISE 環境内に完全に組み込まれています。IVT は、動作しているデザインのアイソレーションを検証するのに必要な一連のデザイン ルール チェック (DRC) として機能します。そして、デザインをグラフィカルに表示し、テキストで詳細レポートを出力します。

  • IVT.zip ファイルの内容は次のとおりです。
  • IVT 実行ファイル
  • リリース ノート、インストール ガイド
  • ライセンス契約書
  • 演習

IVT の現バージョンは、Virtex-4、Virtex-5、Spartan-6、および 7 シリーズ ファミリ FPGA/SoC をサポートしています。

Vivado Design Suite 用 Vivado Isolation Verifier (VIV)

VIV は、Vivado DRC エンジンに統合された Tcl ベース スクリプトです。基本的には、Vivado 内にロードされる一連の DRC であり、デザインのアイソレーションを検証するのに必要なすべてのチェックを実行します。ISE ベースの先行機能 IVT とは異なり、VIV はユーザー フレンドリーな Vivado GUI を利用する開発ツールに統合されていますが、独立した開発経路を維持しています。結果は、Vivado DRC エンジンによってテキスト出力されますが、Vivado DRC GUI ディスプレイにも組み込まれます。

  • VIV.zip ファイルの内容は次のとおりです。
  • VIV スクリプト
  • リリース ノート、インストール ガイド
  • ライセンス契約書
  • 演習 (準備中)

VIV の現バージョンは、Vivado 2015.1 およびそれ以降で 7 シリーズ ファミリ FPGA/SoC をサポートしています。

主なアライアンス メンバー