FPGA
FPGAメソドロジ
要求仕様追跡
医療、輸送、航空宇宙、軍事分野などの安全性が重視されるプロジェクトや、複雑なASICまたはFPGAの設計を対象に、ハードウェア実装を追跡して要求仕様を検証します。
技術文献
アサーションを使用した納得のいく要素解析
本稿では、DO-254および検証に何が必要か（DAL A/B設計の高度な手法を含め）について解説し、さらに、要素解析の本来の目的とそれが今日のコードカバレッジを達成する典型的な方法について説明します。また、ABVの概要と、ABVを用いたプロセスと手法が要素解析だけでなく堅牢性テストの要求も満たす体系的なアプローチをサポートする点についても取り上げます。技術文献を表示[英語]
エレクトロニクスIPの概要: 一般的な課題とそれらの解決方法
DO-254準拠が義務付けられた設計では、コストを削減し工期を短縮するために、IPブロックを使用することがますます一般的になっています。しかし、IPの使用には独自の問題と落とし穴があります。このIPを事前に適切に検査できる優れたメソドロジがあれば、確実なIPを使用して予想外の問題を大幅に削減し、リスクを低減することができます。これは、特に安全性が重視される設計において重要となります。技術文献を表示[英語]
製品デモ
ModelSimによる波形のシミュレーションとデバッグ: 初心者向けデモ
このデモでは、メンター・グラフィックスのModelSimソフトウェアを概説します。シミュレーションの基本とシミュレーションの実行方法を学習できます。また、複数のライブラリを使用して作業する方法についても説明します。製品デモを表示[英語]
FPGA合成による要求仕様の追跡
セーフティ・クリティカルな分野の設計フローにおける大きな課題は要求仕様の追跡であり、これはDO-254などの安全性基準を満たすために特に重要となります。メンター・グラフィックスのReqTracerは、HDLのコーディング、実装、検証を通じてハードウェア仕様から要求仕様の追跡を可能にし、さらにそれらを簡易化し、自動化します。製品デモを表示[英語]
ニュース&プレスリリース
- メンター・グラフィックス、ザイリンクス7シリーズFPGA向け論理／物理合成を発表
- メンター・グラフィックス、Precision Rad-Tolerantにより、放射線効果に対する比類なく高度な軽減機能を提供
- メンター・グラフィックス、Precision Synthesis 2010aリリースにてFPGA合成の新たな技術革新を発表
- メンター・グラフィックス、HDLコーディング標準の 強化によりDO-254プラットフォーム製品を拡張
- メンター・グラフィックスのReqTracer、幅広いエレクトロニクス設計プロジェクトの要件仕様追跡管理およびレポート作成を自動化
- More
ソリューション
DO-254ソリューション
航空機に使用されるハードウェアの安全性とFAA標準規格への準拠を確保します。メンター・グラフィックスは、生産性の向上を図りながらDO-254品質目標を達成できる要求仕様ベースの設計を実現する優れたメソドロジを提供しています。メンター・グラフィックスのDO-254ソリューションの詳細