ミリタリー/エアロスペース

Aldec 社は、ミリタリー/エアロスペース分野のエレクトロニクスデザインからの全ての要求に答える HDL デザイン・検証ソフトウェアを提供しています。 これらのデザインは高い信頼性、完全な検証、デザイン変更のトラック、放射線に強いデバイス、デバイスパワー、温度分析という厳格な要求を満たさ なければなりません。1987年以降、Aldec 社はボーイング社、ハネウェル社、ロックウェル社、NASA、NSA、SAIC、FAA、DOD といったミリタリー/ エアロスペース分野で最も大きい企業や機関と協業し、設計者のニーズや政府の使用、ガイドラインを満たすためのツールセットを開発してきました。 この分野のアプリケーションに特化して開発された Aldec 社 ソフトウェアの機能をご紹介します。


厳格な VHDL IEEE 準拠シミュレーション

Aldec 社は、Active-HDL、Riviera-PRO において VHDL IEEE 1076-93 に完全に準拠したシミュレーションを保障しています。Aldec 社のシミュレーションエンジンは、1998年以来全てのコンプライアンステストスイートで実証されており、数千ものアプリケーションで使用されています。VHDL 言語コンプライアンスは4万以上のリファレンスデザインでテストされ、バージョンアップ毎にリファレンスデザインでテストされ、シミュレーション結果の検証を行っ ています。Aldec 社は、VHDL 言語ルールを正確に実行し、コンパイル中にエラーのフラグを立てます。Active-HDL と Riviera-PRO は、 VHDL、Verilog-HDL、SystemVerilog、SystemC の混在検証にも対応しています。

関連製品: Active-HDL, Riviera-PRO.

放射耐性デバイスのサポート

Aldec 社は、Actel 社、Quicklogic 社、Xilinx 社と協業して、ミリタリー/エアロスペースデザインアプリケーション向けの放射耐性デバイス をサポートしています。シミュレーション用ライブラリはテストによって正確であることが実証されています。Actel 社の放射耐性デバイスは、Aldec 社 製品によって1995年に初めてサポートされました。それ以来、Active-HDL と Riviera-PRO は、宇宙船や衛星といった宇宙プロジェクトで NASA や 他の航空宇宙企業によって使用されています。



実証済みの検証フロー

Active-HDL のデザインフローマネージャーは、ソースコードからデバイスへのプログラミングまでの実装に使用することができます。 デザインフローマネージャーでは、TCL/TK ベースのインターフェースを使用して、デザインの設計・検証の各工程に必要なツールの操作を自動化します。 この自動化によって、各ツールのオプション設定などに起こりがちな人手のミスを避けることができます。 デザインプローマネージャにプラグインされる Synplicity 社、Actel 社、Quicklogic 社、Xilinx 社などのサードパーティーツールも この分野のデザインで実証されています。全てのデザインの設定は、繰り返し作業用にスクリプトとして保存されます。

関連製品: Active-HDL.

コードカバレッジレポート

ミリタリー/エアロスペースデザインで重要な要求のひとつは、コードカバレッジのサポートです。 Active-HDL と Riviera-PRO のコードカバレッジ機能により、シミュレーション中のデザインの分析とさらなるテストケースが必要なデザインエリアの 詳細なレポートを生成します。ラインカバレッジとブランチカバレッジをサポートしています。また、トグルカバレッジでは、検証中に論理ステートが変化 しなかったデザイン中の信号すべての情報をレポートします。複数のテストベンチで並列してシミュレーションを行った場合には、コードカバレッジマー ジ機能により結果をまとめることができます。カバレッジ結果をドキュメンテーションに含めることもできます。

関連製品: Active-HDL, Riviera-PRO.

ドキュメント作成支援

この分野でのもう一つの重要な要求は、詳細なデザインドキュメントの提供です。この煩雑で時間のかかる作業は、Active-HDL の機能で自動化することができます。HDL コードのオートフォーマット機能や、HDL コードからブロックダイアグラム、ステートマシンへの変換機能により HDL コードの可読性を高めます。ブロックダイアグラム、ステートマシン、波形などのデータは Microsoft 社 Word や Visio などのアプリケーションに貼り付けて、再編集することが可能です。また、ワークスペースの情報を HTML や PDF へ出力することができます。生成されたデータには、ナビゲーションに便利なハイパーリンクが付加されます。

関連製品: Active-HDL.

リビジョン・コントロールシステム

この分野では、デザインの変更に関する厳格な管理が必要とされます。Aldec 社は、 CVS、Perforce、SourceSafe といった標準的なリビジョン・コントロールシステムとのインターフェースを提供し、この要求に応えます。リビジョン・コントロールシステムは、 ネートワークで使用され、複数のエンジニアが、ファイルを上書きするリスクなく、デザインの編集、変更のトラックを可能にします。 リビジョン・コントロールインターフェースは Active-HDL の機能の一つとして提供されます。

関連製品: Active-HDL.

デザインのアーカイブ化

ミリタリー/エアロスペースデザインの多くは、最終デザインのアーカイブ化が要求されます。 Active-HDL のワークスペースのアーカイブ化、リストア機能によって、この要求に応えています。 全てのファイル・ディレクトリ情報をまとめて、他のコンピュータ上で再現したり、データを圧縮してアーカイブ化しパスワードを設定しプロテクトすることができます。 最終ファイルのみ、または中間ファイルや必要なファイルを選択してアーカイブ化を行うことができます。

関連製品: Active-HDL.

HES によるハードウェアアクセラレーション

ハードウェアアクセラレータ、HES によって、ソフトウェアシミュレータで検証した同じデザインをハードウェアボードに実装して検証することができます。 ソフトウェアシミュレータで使用したテストベンチをハードウェアボードに実装されたデザインに適用することができます。波形比較機能によって、 ソフトウェアシミュレータの検証結果とハードウェアに実装されたデザインの検証結果を比較することができます。この波形比較機能は、 Active-HDL、Riviera-PRO どちらにも搭載されています。

関連製品: HES.

Aldec 社のソフトウェア品質保証

政府機関からの要求により、Aldec 社の製品開発チームは、厳密な品質保証プロセスを行っています。 20名以上の SQA エンジニアスタッフによって、ソフトウェア開発プロセスは監督され、製品として出荷されるソフトウェアバージョンは、 品質ガイドラインを満たすことを保証しています。 Aldec 社では、シミュレーション・ファームを使用して百万ものテストケースを実行し、品質検証を行ってから、お客様へ製品を提供しています。




Active-HDL

Riviera-PRO

HES

Server Farm

IP Cores

HDL Tutorials

©2010 Aldec, Inc.